:please distribute: :call for papers: workshop on Mathematical User Interfaces ---------------------------- Sept 18th 2004, Bialowezia, Poland at the Third Mathematical Knowledge Management Conference http://www.activemath.org/~paul/MathUI/ SCOPE The impact of mathematical knowledge management on user interfaces is only begininning to show. In interactive proof construction, some systems are able to suggest suitable theorems to apply to subgoals by harvesting online libraries; in computer algebra, folding/unfolding and automatic completion of terms helps the user with the input of complex expressions. Paradigms on how to use third-party software from within a preferred GUI are emerging and promise to innovate the notion of mathematical workspace. This workshop wants to focus on novel aspects of UI brought forward by the developments in MKM. It would like to bring together researchers and practioneers working with contemporary mathematical user-interfaces, including, but not limited to: - mathematical knowledge presentation - interactivity with mathematical objects - interactive simulations - mathematical objects input and manipulations. - access to mathematical knowledge INVITED TALK The workshop has invited Joris van der Hoeven for a talk about TeXMacs, an open-source WYSYWYG editor for mathematical publications. SUBMISSIONS AND DATES - Presentation proposals should be accompanied with an article or other presentation (for example a video or a mock-up GUI). Proceedings shall be online. - Either: - Submit your presentation proposal until June 30th - Or submit an abstract of your presentation (10 lines to half-a-page) until June 30th and a revised version until July 31st - Expect an answer on August 20th - Enjoy the workshop on Sept 18th PROGRAMME COMMITTEE Paul Cairns UCL Interaction Center, University College London, Great Britain Olga Caprotti Research Institute for Symbolic Computation, Linz, Austria Hanane Naciri Projet Lemme, INRIA Sophia Antipolis, France Norbert Kajler Ecole Nationale Supérieure des Mines de Paris, France Paul Libbrecht (organizer) Competence Center for E-Learning, DFKI GmbH, Saarbrücken, Germany Robert Miner Design Science Inc., Long Beach, California, USA MORE INFORMATION Host Conference: Mathematical Knowledge Management 2004 http://www.mizar.org/MKM2004/ More information can be read from the workshop's web-page http://www.activemath.org/~paul/MathUI/