Workshop 2008

University of Birmingham, UK, July 27th 2008

MathUI happenned in parallel to ESARM and DML workshops.

Session 1: content math input

`11:30-12:00`Su Wei, Paul S.Wang, Li Lian:

Entering and Editing Mathematical Expressions on the Web`12:00-12:30`Eric Andres, Michael Dietrich, Paul Libbrecht

Discovering How to Write Semantic Math with new Symbols

Session 2: future of mathematics input

`14:00-14:30`Marc Wagner and Henri Lesourd

Using TEXMACS in Math Education: An explorative Study`14:30-15:00`Birendra Keshari and Stephen M. Watt

Online Mathematical Symbol Recognition using SVMs with Features from Functional Approximation

Session 3: math on the web

`15:30-16:00`Christoph Lange & Alberto González Palomo

Easily Editing and Browsing Complex OpenMath Markup with SWiM`16:00-16:30`Jonathan Fine and Christoph Hafemeister

MathTran and TeX as a web service`16:30-17:00`Eliot Setzer

Distributed Tagging and Annotation of Computer-Checked Proofs

Session 4: software demonstrations, 17h-19h

Aside of the speakers, we have the following extra software demonstrations:

- Thomas Leathrum: Content Pseudo-TeX Translator Applet

Remote demonstration with author VNC and Skype connected. - Jan Willem Knopper: MathDox formula editor

Building on the success and interest of its predecessors, the MathUI workshop aims at bringing together researchers to share about the mathematical facets of user-interfaces.

The explosion of remote communication tools, both discussion or publication oriented, has shown that computers are rich enough to carry most messages. Mathematical communication has not been at rest with the many standards and tools around. User-interfaces that encompass these communications are most diverse but their user-side is crucial for the communication to happen well. The MathUI workshop proposes a place of exchange and presentation for investigations in mathematical user-interfaces, including:

- presentation and manipulations mathematical knowledge
- workflows induced by mathematical knowledge representations
- interactions in the communication of mathematical content
- user studies with MKM tools or other mathematical interfaces
- novel, original or downright funky interfaces to mathematics software
- interactive mathematics

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 HTML or PDF format, which may include other electronic
presentations such as videos or animations complemented
by an abstract of less than 150 words.

**Important Dates: (to be confirmed)**

- Either submit a paper by email to Paul Libbrecht until May 31st 2008, or submit an abstract on May 20th 2008 and a paper on June 7th.
- Expect an answer on June 25th 2008.
- Enjoy the workshop on July 27th

The workshop will be reviewed by the following persons:

- David Aspinall

School of Informatics, University of Edinburgh, Scotland - Paul Cairns

University of York, Great Britain - Olga Caprotti

University of Helsinki, Finland - Anthony Jameson

DFKI GmbH and International University, Germany - Norbert Kajler

École Nationale Supérieure des Mines de Paris, France - Paul Libbrecht (organizer)

Competence Center for E-Learning, DFKI GmbH, Saarbrücken, Germany - Robert Miner

Design Science Inc., Long Beach, California, USA - Elena Smirnova

Texas Instruments Inc. Education Technology, USA

- Please advertise MathUI'08 further:

- find the plain-text call for submissions here

- The Mathematical user interfaces workshop 2007 happened at MKM 2007 in Risc Linz, Autria. Please find proceedings and programme on MathUI07.
- The Mathematical user interfaces workshop 2006 happened at MKM 2006 in Wokingham, Great Brintain. Please find proceedings and programme on MathUI06.
- The first Mathematical user interfaces workshop happened at MKM 2004 in Bialowczia, Poland. Please find proceedings and programme on MathUI04.
- This page is at

http://www.activemath.org/workshops/MathUI/08/.