:please distribute: :call for papers:
                               workshop on

                        Mathematical User Interfaces
                        ----------------------------
            at the Sixth Mathematical Knowledge Management Conference
               Schloss Hagenberg, Linz, Austria, June 27-30 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

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.

  Dates:
    * Either submit a paper by email until May 10th 2007, or
      submit an abstract on May 1st and a paper presentation on the 15th.
    * Expect an answer on May 31st 2007.
    * 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/