[isabelle] CfP MathUI 09
Call for Papers: MathUI'09
Mathematical User Interfaces Workshop 2009
at the MKM conference, July 6th, Grand Bend Ontario Canada
The 5th mathematical user-interfaces workshop is a forum to discuss,
demo, present, brainstorm, and review all the math-specific facets of
It happens in the form of a peer-reviewed workshop with presentations
and discussion, followed by an expo-like demo-session.
Programs for computerized mathematics are evolving rapidly and are
being used by a wider audience than ever before. Researchers are
aiming to provide well-designed and widely-applicable user interfaces
for this diverse audience. Among the questions lies the hypothesis
that unified mathematical language is used with all systems. Can we
This workshop provides a forum for the discussion of computer
representations of mathematics, and how gestures, writing, speech, or
other novel techniques can be used to improve mathematical user
- presentations on manipulation of mathematical knowledge
- workflow studies based on mathematical applications
- user studies on the effectiveness of interfaces
- interactive teaching and testing
- novel, original or downright funky interfaces to mathematics software
- interactive mathematics generally
We are seeking submissions of either papers on and/or demonstrations
of user interfaces for mathematics. Videos, prototypes, mock ups and
any other sort of demonstration are welcome!
Proceedings will be online.
Submission format: article of 3-8 (printed) pages, in PDF format only,
which may include other electronic presentations such as videos or
animations complemented by an abstract of less than 150 words.
- Either submit your abstract on until May 1st 2009 and a paper on
or submit an paper on May 8th 2009
- Be prepared for a rebuttal phase from May 25th till 30th
- Expect an answer on June 2nd 2009
- Enjoy the workshop on July 6th 2009
All submissions are done on MathUI's easychair.
The workshop will be reviewed by the following persons:
- David Aspinall, Edinburgh, Scotland
- Paul Cairns, York, Great Britain
- Olga Caprotti, Helsinki, Finland
- Richard Fateman, Berkeley, USA
- Anthony Jameson, Saarbruecken, Germany
- Paul Libbrecht (organizer), Saarbruecken, Germany
- Robert Miner, Minneapolis, USA
- Elena Smirnova, London, Canada
Further information, please contact Paul Libbrecht, paul at activemath.org.
This archive was generated by a fusion of
Pipermail (Mailman edition) and