[isabelle] [CfP] MathUI 2006: call to participate and demonstrate



    :please distribute: :call for demonstrations and participations:

                              workshop on
                        Mathematical User Interfaces
                        ----------------------------
                        10th August, 2006, nr Oxford, UK
         at the Fifth Mathematical Knowledge Management Conference
                  http://www.activemath.org/~paul/MathUI06/

 Come and join MathUI'06!
 Early registration rate for the conference ends on June 30th.

PRESENTATIONS
The following presentations have been accepted to MathUI'06:
- A Document-Oriented Coq Plugin for TEXmacs
    L. E. Mamane, H. Geuvers
- BrEdiMa: Yet Another Web-browser Tool for Mathematical Expressions
    H. Murao, Y. Nakano
- Drag-and-drop of Formulae from a Browser
    P. Libbrecht, D. Jednoralski
- Mathematical documents authoring on xfy
    M. Kume,  A. Miyamoto,  H. Kai,  M.-T. Noda, Y. Tamura
- PG Tips, a recommender system for an interactive prover
    A.M. Mercer, A. Bundy, H. Duncan, D. Aspinall
- The GLOSS system for transformations from plain text to XML
    R. Kaye
- WIRIS OM Tools a Semantic Formula Editor ,
    D. Marquès, R. Eixarch, G. Casanellas, B. Martínez, T. Smith
The workshop will feature the invited talk:
- Highly interactive mathematical user interfaces
    Harold Thimbleby
The workshop will be concluded with a demonstration session.

SCOPE
Building on the success and interest of the first MathUI workshop,
this second one is intended to bring together researchers working on
MKM but from the perspective of mathematics manipulated by end
users. Accordingly, an emphasis is on providing users with
interfaces and software systems that enhance their mathematical working
experience. The topics of the workshop centre around, but
are not restricted to:

- presenting mathematical knowledge
- user studies with MKM tools or other mathematical interfaces
- novel, original or downright funky interfaces to mathematics software
- interactive mathematics


CALL FOR SOFTWARE DEMONSTRATIONS
We are also seeking mathematical software user-interfaces to be exposed
during the demonstration-session at the end of the workshop.
Send your request for demo with title, project-URL, and a short
description to paul at activemath.org until July 20th 2006.


PROGRAMME COMMITTEE
David Aspinall
  School of Informatics, University of Edinburgh, Scotland
Paul Cairns
  UCL Interaction Center, University College London, Great Britain
Olga Caprotti
  University of Helsinki, Helsinki, Finland
Norbert Kajler
  Ecole Nationale Superieure des Mines de Paris, France
Paul Libbrecht (organizer)
  Competence Center for E-Learning, DFKI GmbH, Saarbruecken, Germany
Robert Miner
  Design Science, Long Beach, California, USA


MORE INFORMATION

MKM 2006:      http://www.reading.ac.uk/MKM06/
MathUI 2006:   http://www.activemath.org/~paul/MathUI06/

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.