MKM 2001

First International Workshop on Mathematical Knowledge Management

RISC, A-4232 Schloss Hagenberg, September 24-26, 2001


Special Issue on Mathematical Knowledge Management

Annals of Mathematics and Artificial Intelligence


Mathematical Knowledge Management is an exciting new field in the intersection of mathematics and computer science.

We need efficient, new techniques - based on sophisticated formal mathematics and software technology - for taking fruit of the enormous knowledge available in current mathematical sources and for organizing mathematical knowledge in a new way.

The Workshop and the Special Issue should bring together math researchers, software developers, publishing companies, math organizations, and teachers for exchanging their views and approaches and for pushing the field.

Whereas the workshop is designed to provide a forum for discussion and presentation of early ideas, the special issue is a forum for polished, refereed papers in the area of mathematical knowledge management.
Participation and presentation of talks and papers is possible in both the workshop and the special issue, jointly or independently.

Invited Speakers:


OpenMath Workshop

Subsequent to MKM 2001 the OpenMath Workshop will take place from Wednesday, September 26, 2001 to Friday, September 28, 2001.

Electronic Proceedings are now online


General Information

Bruckner Festival 2001

Workshop Organizers:

Special Issue Editors:

International Program Committee:

Important Dates

Immediate: send title of intended talks and/or papers to Olga Caprotti
June 30, 2001: submit extended abstracts or full papers for the workshop
July 31, 2001: notification of acceptance for the workshop
August 31, 2001: early registration deadline
September 1, 2001: papers for the workshop proceedings to be distributed at the workshop
September 24-26, 2001: Workshop at RISC, Hagenberg, Austria
December 31, 2001: full papers for the special issue, editor Bruno Buchberger
February 28, 2002: notification of acceptance for the special issue
May 31, 2002: final version of papers for the special issue
Fall 2002: Special Issue to appear

Call for Papers

Poster [A3.pdf][A4.pdf]

Related Links

Maintained by Christian Vogt