[Om-announce] MathUI 2007: second CfP for Mathematical User-Interfaces 2007

[Paul Libbrecht]

                    :please distribute: :call for papers:
                                workshop on

                         Mathematical User Interfaces
                         ----------------------------
             at the Sixth Mathematical Knowledge Management Conference
                Schloss Hagenberg, Linz, Austria, June 27th 2007
                   http://www.activemath.org/~paul/MathUI07/

SCOPE
Building on the success and interest of the first and second MathUI
workshops, this third 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:
   * presentation and manipulations mathematical knowledge
   * worklows induced by mathematical knowledge representations
   * human communication of mathematical content
   * user studies with MKM tools or other mathematical interfaces
   * novel, original or downright funky interfaces to mathematics  
software
   * interactive mathematics

GUEST SPEAKER
   We have invited Jean-François Nicaud to present his work about  
Aplusix
   an algebra editor and exerciser featuring mathematical direct
   manipulations. Jean-François Nicaud is professor of computer
   science at the University of Grenoble 1

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!
   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.
   Demonstrations should be submitted with a few lines of descriptions
   and a URL.

   Dates:
     * Either submit a paper by email until May 10th 2007, or
       submit an abstract on May 1st and a paper on the 15th.
     * Expect an answer on May 31st 2007.
     * Submit a software demonstration until June 10th
     * Workshop to happen betwen June 27th and June 30th

   Post proceedings: Selected papers will be invited for a revised
   version to be published in the Journal of Online Mathematics and
   its Applications (joma.org);  the selection process will be based
   on quality and common relevance to the journal's topic.

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
Anthony Jameson
   DFKI GmbH and International University, Germany
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
Elena Smirnova
   Ontario Research Center for Computer Algebra, London, Canada


MORE INFORMATION
More about MKM 2007 can be found at:
   http://www.cs.bham.ac.uk/~mmk/events/MKM07/

Up-to-date information can be read from the workshop's web-page
   http://www.activemath.org/~paul/MathUI07/