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

MKM'2003

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

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

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

Whereas the workshop is designed to provide a forum for discussion andpresentation 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 theworkshop and the special issue, jointly or independently.

Invited Speakers:

William M. Farmer (McMaster University, Hamilton, Canada)
A Formal Framework for Managing Mathematics
Daniel Lozier (NIST, Gaithersburg, MD)
The NIST Digital Library of Mathematical Functions Project
Gerhard O. Michler (University of Essen, Germany)
A Prototype of a Linked, Searchable Digital Mathematical Library E
Stephen Watt (University of Western Ontario, London, Canada)
Extending the Semantics of MathML

Sponsors:

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

Program

General Information

Bruckner Festival 2001

Workshop Organizers:

Bruno Buchberger (General Chair)
Olga Caprotti (Managing Chair)

Special Issue Editors:

Bruno Buchberger (RISC-Linz)
Gaston Gonnet (ETHZ)
Michiel Hazewinkel (CWI)

International Program Committee:

(University of Bologna, Italy)
(Simon Fraser University, Burnaby, Canada)
(RISC-Linz, Austria)
(University of Edinburgh, United Kingdom)
(University of Koblenz, Germany)
(University of Bath, United Kingdom)
(ETH Zürich, Switzerland)
(LIP6, Paris, France)
(University of Innsbruck, Austria)
(CWI, Amsterdam, The Netherlands)
(Springer-Verlag Heidelberg, Germany)
(North Carolina State University, Raleigh, NC)
(University of Tsukuba, Japan)
(University of Michigan, Ann Arbor, MI)
(Carnegie Mellon University, Pittsburgh, PA)
(ESI, Vienna, Austria)
(RISC-Linz, Austria)
(University of Pisa, Italy)
(University of Bialystok, Poland)
(Technical University of Berlin, Germany)
(Wolfram Research, Inc., Champaign, IL)
(EC3, Austria)

Important Dates

Immediate:	send title of intended talks and/or papers to
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
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 ]