Ninth International Conference on
MATHEMATICAL KNOWLEDGE MANAGEMENT
10-12 July 2009 Grand Bend, Ontario (CANADA)
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
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
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.
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
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.
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.
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.
(U Helsinki, Finland)
(Imperial College, UK)
(Tsukuba U, Japan)
(U Cambridge, UK)
(RISC Linz, Austria)
(U Chile, Chile)
(Jakobs U, Germany)
(U Marakech, Morocco)
(Design Science, USA)
Claudio Sacerdoti Cohen (Co-Chair) (U Bologna, Italy)
(Texas Instruments, USA)
(U Birmingham, UK)
(U Kyushu, Japan)
(Charles U, Czech Republic)
Stephen Watt (Co-chair)
(U Western Ontario, Canada)
(Rabdoub U, NL)
MKM 2009 Submissions:
MKM Interest Group: