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

Final Call for Papers:

collocated with Calculemus 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 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

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

WORKSHOPS

The Mathematical User-Interfaces Workshop 2007 (MathUI07) takes place in conjunction with MKM 2007. It is organized by Paul Libbrecht.

Further workshops are in discussion. If you are interested in organizing one, contact the co-chairs Manfred Kerber and Robert Miner at mkm07@cs.bham.ac.uk [This email address is defunct now.] as soon as possible.