[Om-announce] [CfP] MathUI 2006: call to participate and demonstrate
Paul Libbrecht
paul at activemath.org
Thu Jun 29 13:21:58 CEST 2006
: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/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/x-pkcs7-signature
Size: 3245 bytes
Desc: S/MIME Cryptographic Signature
Url : http://openmath.org/pipermail/om-announce/attachments/20060629/67a12a6b/smime.bin
More information about the Om-announce
mailing list