Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] CfP MathUI 09


view this post on Zulip Email Gateway (Aug 18 2022 at 13:01):

From: Paul Libbrecht <paul@activemath.org>
Call for Papers: MathUI'09
----------------------------------------
Mathematical User Interfaces Workshop 2009
----------------------------------------
at the MKM conference, July 6th, Grand Bend Ontario Canada
http://www.activemath.org/workshops/MathUI/09/

SCOPE

The 5th mathematical user-interfaces workshop is a forum to discuss,
demo, present, brainstorm, and review all the math-specific facets of
user-interfaces.

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
achieve this?

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
interfaces.

Topics include:

- 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

SUBMISSIONS

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.

Important Dates:

- Either submit your abstract on until May 1st 2009 and a paper on
May 15th.
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.
http://www.easychair.org/conferences/?conf=mathui09

PROGRAMME COMMITTEE

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@activemath.org.


Last updated: May 03 2024 at 04:19 UTC