Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] [CfP] MathUI 2006: call to participate and dem...

Email Gateway (Aug 17 2022 at 14:47):

From: Paul Libbrecht <paul@activemath.org>
: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@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/
smime.p7s

Last updated: Nov 21 2024 at 12:39 UTC