Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] [CfP] Mathematical User Interfaces 2006 (MathU...

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

From: Paul Libbrecht <paul@activemath.org>
:please distribute: :call for papers:
workshop on

Mathematical User Interfaces
----------------------------
10th August, 2006, nr Oxford, UK
at the Fifth Mathematical Knowledge Management Conference

http://www.activemath.org/~paul/MathUI06/

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

SUBMISSIONS AND DATES
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! Initial proceedings will be
online and we will discuss at the workshop the possibilities of a
special issue in a human factors journal.

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.

• Either:

  • Submit your presentation proposal by 5th June
  • Or submit an abstract of your presentation
    by 5th June and a revised version before 12th June

• Expect an answer on
  27th June

• Enjoy the workshop on
  10th August

PROGRAMME COMMITTEE
David Aspinall
School of Informatics, University of Edinburgh, Scotland
Paul Cairns
UCL Interaction Center, University College London, Great Britain
Olga Caprotti
Research Institute for Symbolic Computation, Linz, Austria
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
More about MKM 2006 can be found at:
http://www.reading.ac.uk/MKM06/

More information can be read from the workshop's web-page
http://www.activemath.org/~paul/MathUI06/

Last updated: May 03 2024 at 04:19 UTC