[Haskell] MathUI workshop: deadline extension

Paul Libbrecht paul at activemath.org
Fri Jun 18 08:16:56 EDT 2004


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



More information about the Haskell mailing list