[Om-announce] [ISSAC-ANNOUNCE] Ninth International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT

[Ilias Kotsireas]

                     Ninth International Conference on

                     MATHEMATICAL KNOWLEDGE MANAGEMENT

 	      10-12 July 2009 Grand Bend, Ontario (CANADA)

              http://www.orcca.on.ca/conferences/cicm09/mkm09


 		             CALL FOR PAPERS

Mathematical Knowledge Management is the field at the intersection of 
mathematics, computer science, library science and scientific publishing.
Its development is driven by on the one hand new technological possibilities
which computer science, the Internet, and intelligent knowledge processing
offer, and on the other hand the increasing demand by engineers and scientists
for new techniques for producing, transmitting, consuming, and managing
sophisticated mathematical knowledge.

The conference is concerned with all aspects of mathematical knowledge
management. Topics covered include, but are not limited to:

  * Representations of mathematical knowledge
  * Repositories of formalized mathematics
  * Mathematical digital libraries
  * Diagrammatic representations
  * Multi-modal representations
  * Mathematical OCR
  * Mathematical search and retrieval
  * Deduction systems
  * Math assistants, tutoring and assessment systems
  * 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
  * Challenges and Solutions for Mathematical workflows


Paper Submission

  Papers may be submitted in either of two categories:  as full papers or
  as short communications.

  All papers submitted to the conference will be reviewed.  Submission
  is  electronic in Postscript or PDF format via the EasyChair system at
  http://www.easychair.org/conferences/?conf=mkm09 .  Submitted papers
  must conform to the Springer LNCS style, preferably using LaTeX2e and
  the Springer llncs class files available at http://www.springer.com/lncs .

  Full papers should not exceed 15 pages, must be original and not
  be submitted for consideration elsewhere.  A submission not accepted as
  full paper will automatically be considered as a short communication,
  unless requested otherwise in the submission.

  Short communications are of a less formal nature to provide a forum for the
  presentation of works in progress.  They may be up to 5 pages in LNCS style.
  Depending on the number of short communications accepted, presentation
  may be as a short talk or as a poster.

  By submitting a paper the authors agree that if it is accepted at least one
  of the authors will attend the conference to present it.


Important Dates

  March  3, 2009   Full paper abstract submission

  March 10, 2009   Full paper submission

  March 20, 2009   Short communication submission

  March 31, 2009   Acceptance notification

  April 29, 2009   Camera ready files due

  July 10-12, 2009 Conference


Proceedings

  Past proceedings of the MKM conferences have been published in the
  Springer-Verlag series Lecture Notes in Artificial Intelligence (LNAI)
  and this conference intends to continue that tradition.


Workshops

  The following workshops take place in conjunction with MKM 2009:

* The "Mathematical User-Interfaces" Workshop 2009  (MathUI09),
   organized by Paul Libbrecht.

* The workshop  "Towards  Future Digital Mathematics Libraries",
   organized by Petr Sojka.

* The Workshop "Compact Computer Algebra" 2009  (CCA09),
   co-organized by Elena Smirnova.

* The "Pen-Based Mathematical Computation" Workshop 2009 (PenMath P09),
   co-organized by George Labahn.


Venue

  The conference will be held in Grand Bend, Ontario.  This is a favourite
  Canadian vacation spot in a natural setting on the shore of Lake Huron.
  Grand Bend can be reached most conveniently from the London (Ontario),
  Toronto, Buffalo or Detroit international airports.


Program Committee

   Laurent Bernardin                   (Maplesoft, Canada)
   Olga Caprotti                       (U Helsinki, Finland)
   Simon Colton                        (Imperial College, UK)
   Tetsuo Ida                          (Tsukuba U, Japan)
   Mateja Jamnik                       (U Cambridge, UK)
   Tudor Jebelean                      (RISC Linz, Austria)
   Alejandro Jofre                     (U Chile, Chile)
   Michael Kohlhase                    (Jakobs U, Germany)
   Azzeddine Lazrek                    (U Marakech, Morocco)
   Paul Libbrecht                      (DFKI, Germany)
   Bruce Miller                        (NIST, USA)
   Robert Miner                        (Design Science, USA)
   Laurence Rideau                     (INRIA, France)
   Claudio Sacerdoti Cohen (Co-Chair)  (U Bologna, Italy)
   Elena Smirnova                      (Texas Instruments, USA)
   Volker Sorge                        (U Birmingham, UK)
   Masakazu Suzuki                     (U Kyushu, Japan)
   Joseph Urban                        (Charles U, Czech Republic)
   Stephen Watt (Co-chair)             (U Western Ontario, Canada)
   Freek Wiedijk                       (Rabdoub U, NL)


Related Links

   MKM 2009 Submissions: http://www.easychair.org/conferences/?conf=mkm09
   MKM Interest Group:   http://www.mkm-ig.org
   Calculemus'09:        http://www.calculemus.net/meetings/ontario09
   CICM'09:              http://www.orcca.on.ca/conferences/cicm09