[isabelle] [CfP] Mathematical User Interfaces 2006 (MathUI06)



                  :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/








This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.