[TYPES/announce] MKM 2007 paper submission deadline approaching

[Fairouz Kamareddine]

                           MKM 2007

               Sixth International Conference on
              MATHEMATICAL  KNOWLEDGE  MANAGEMENT

            http://www.cs.bham.ac.uk/~mmk/events/MKM07/

                       27--30 June 2007
                  RISC -- Hagenberg -- Austria

                     FINAL CALL FOR PAPERS

  Mathematical Knowledge Management is an innovative field in the
  intersection of mathematics and computer science.  Its development is
  driven on the one hand by the new technological possibilities which
  computer science, the internet, and intelligent knowledge processing
  offer, and on the other hand by the need for new techniques for
  managing the rapidly growing volume of mathematical knowledge.

  The conference is concerned with all aspects of mathematical knowledge
  management.  A (non-exclusive) list of important areas of current
  interest includes:

  Representation of mathematical knowledge
  Repositories of formalized mathematics
  Diagrammatic representations
  Mathematical search and retrieval
  Deduction systems
  Math assistants, tutoring and assessment systems
  Mathematical OCR
  Inference of semantics for semi-formalized mathematics
  Digital libraries
  Authoring languages and tools
  MathML, OpenMath, and other mathematical content standards
  Web presentation of mathematics
  Data mining, discovery, theory exploration
  Computer Algebra Systems
  Collaboration tools for mathematics

  INVITED SPEAKERS

* Neil J. A. Sloane, AT&T Shannon Labs, Florham Park, New Jersey, USA:
   The On-Line Encyclopedia of Integer Sequences
* Peter Murray-Rust, University of Cambridge, Department of Chemistry, Cambridge, UK:
   TBA

The programme will be arranged that all attendees of MKM can also attend the talks
by the invited speakers of Calculemus:
* Thomas Hales, University of Pittsburgh
* John Harrison, Intel Inc.
* Peter Paule, RISC-Linz

  SUBMISSION

  The deadline for submissions of titles and abstracts is 1 March 2007,
  for that of full papers is 4 March 2007. [Deadline extended!]
  Submitted papers should not exceed 15 pages, must be original and not
  submitted for publication. Submission is via EasyChair.

  All papers submitted to the Conference will be reviewed. For submission details
  see http://www.cs.bham.ac.uk/~mmk/events/MKM07/submission.php.

  PROCEEDINGS

  We we will publish the proceedings in the Springer-Verlag series
  Lecture Notes in Artificial Intelligence (LNAI).

  Authors of accepted papers are expected to present their work
  at the conference.

  IMPORTANT DATES  (note the extended deadline)

  1 March 2007: Deadline for electronic submissions of title and abstract
  4 March 2007: Deadline for electronic submissions of full papers
  2 April 2007: Notification of acceptance/rejection
13 April 2007: Camera ready copies due
27-30 June 2007: Conference at RISC, Hagenberg, Austria


  CONFERENCE CHAIR     Wolfgang Windsteiger
  PROGRAMME CO-CHAIRS  Manfred Kerber
                       Robert Miner
  LOCAL ORGANIZER      Laura Kovacs

  PROGRAM COMMITTEE:
  Andrea Asperti       University of Bologna, Italy
  Laurent Bernardin    Maplesoft, Canada
  Jonathan Borwein     Dalhousie University, Canada
  Thierry Bouche       Universite de Grenoble I, France
  Bruno Buchberger     Johannes Kepler University, Linz, Austria
  Paul Cairns          University College London, England
  Olga Caprotti        University of Helsinki, Finland
  Bruce Char           Drexel University, Philadelphia, USA
  Simon Colton         Imperial College, London, England
  Mike Dewar           Numerical Algorithms Group, England
  William Farmer       McMaster University, Canada
  Herman Geuvers       Radboud University Nijmegen, The Netherlands
  Tetsuo Ida           University of Tsukuba, Japan
  Mateja Jamnik        University of Cambridge, England
  Fairouz Kamareddine  Heriot-Watt University, Scotland
  Manfred Kerber       University of Birmingham, England (co-chair)
  Michael Kohlhase     International University Bremen, Germany
  Paul Libbrecht       DFKI Saarbruecken, Germany
  Robert Miner         Design Science, USA (co-chair)
  Bengt Nordstrom      Chalmers University of Technology, Sweden
  Ross Reedstrom       Rice University, USA
  Eugenio Rocha        Universidade de Aveiro, Portugal
  Alan Sexton          University of Birmingham, England
  Andrzej Trybulec     University of Bialystok, Poland
  Stephen Watt         University Western Ontario, Canada
  Abdou Youssef        George Washington University, USA

  RELATED LINKS
  http://www.mkm-ig.org
  http://www.risc.uni-linz.ac.at/about/conferences/Calculemus2007/

  WORKSHOPS

  The Mathematical User-Interfaces Workshop 2007 (MathUI07) takes place in
  conjunction with MKM 2007. For details see:
  http://www.activemath.org/~paul/MathUI07/

  Further workshops are in discussion.  If you want to organize one,
  contact the co-chairs at mkm07 at cs.bham.ac.uk as soon as possible.
--------------------------------------------------------------------------------