Mathematical Knowledge Management 2007

Important Dates

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

13 May 2007:

Early Registration

27--30 June 2007:

Conference at RISC, Hagenberg, Austria

Relevant Links

Mathematical Knowledge Management 2007

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

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, NJ, USA	The On-Line Encyclopedia of Integer Sequences
Peter Murray Rust	University of Cambridge, Dep. of Chemistry, UK	Mathematics and scientific markup

The conference proceedings are available (jointly with Calculemus 2007) as Springer LNAI 4573, Towards Mechanized Mathematical Assistants.

You can find some pictures of Calculemus/MKM from the Calculemus web site at http://www.risc.uni-linz.ac.at/about/conferences/Calculemus2007/?content=pics.