- [March 31st] Announcing MathUI 06.
- [June 27th] 7 papers accepted.
- [June 27th] Call for software demonstration.
- [August 7th] Full programme online.
Please find below a tentative schedule:
- 9:00: Welcome and Presentations
- 9:10:
PG Tips, a recommender system for an interactive prover
Alison Elizabeth Mercer, Alan Bundy, Hazel Duncan, and David Aspinall
- 9:50: A Document-Oriented Coq Plugin for TEXmacs
Lionel Elie Mamane, and Herman Geuvers.
- 10:30: : break
- 10:50: : Drag-and-drop of Formulae from a Browser
Paul Libbrecht and Dominik Jednoralski
- 11:30: Invited talk: Mathematical Mathematical User-Interfaces
Will and Harold Thimbleby
- 12:30: : lunch
- 13:30: : BrEdiMa: Yet Another Web-browser Tool for Mathematical Expressions
Hirokazu Murao, and Yasuhito Nakano
- 14:10: : WIRIS OM Tools a Semantic Formula Editor ,
Daniel Marquès, Ramon Eixarch, Glòria Casanellas, Bruno Martínez, and Tim Smith
- 14:50: : break
- 15:30: : Mathematical documents authoring on xfy
Masaki Kume, Atsushi Miyamoto, Hiroshi Kai, Matu-Tarow Noda, and Yasushi Tamura
- 16:10: : The GLOSS system for transformations from plain text to XML
Richard Kaye
- 16:50: : discussion
- 17:15: : demo-session till 19:00 (see below)
To happen from 17:15 till 19:00.
- Michael Kohlhase, and
Joan Sucan,
MathWebSearch
- Ken Kahn, MoPiX -- Programming simulations and games with equations
-
The ActiveMath Group,
ActiveMath: semantic-powered learning on the Web
-
Richard Kaye
GLOSS
-
Lionel Elie Mamane and
Herman Geuvers, tmEgg
-
Maths for More Inc., WIRIS Player
-
Robert Miner, Rajesh Munavalli, and Eduardo Tabacman,
MathFind
-
César Córcoles,
Antoni Gomà, and
Antonia Huertas,
Web based learning materials with MathML and Wiris
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
The workshop will be reviewed by the following persons:
- David Aspinall
School of Informatics, University of Edinburgh, Scotland
- Paul Cairns
UCL Interaction Center, University College London, Great Britain
- Olga Caprotti
University of Helsinki, Finland
