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 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:

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 LibraryE
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:

Andrea Asperti (University of Bologna, Italy)
Jonathan Borwein (Simon Fraser University, Burnaby, Canada)
Bruno Buchberger (RISC-Linz, Austria)
Alan Bundy (University of Edinburgh, United Kingdom)
Ingo Dahn (University of Koblenz, Germany)
James H. Davenport (University of Bath, United Kingdom)
Gaston Gonnet (ETH Zürich, Switzerland)
Therese Hardin (LIP6, Paris, France)
Heinz Hauffe (University of Innsbruck, Austria)
Michiel Hazewinkel (CWI, Amsterdam, The Netherlands)
Clemens Heine (Springer-Verlag Heidelberg, Germany)
Hoon Hong (North Carolina State University, Raleigh, NC)
Tetsuo Ida (University of Tsukuba, Japan)
Patrick D. F. Ion (University of Michigan, Ann Arbor, MI)
Michael Kohlhase (Carnegie Mellon University, Pittsburgh, PA)
Peter Michor (ESI, Vienna, Austria)
Peter Paule (RISC-Linz, Austria)
Carlo Traverso (University of Pisa, Italy)
Andrzej Trybulec (University of Bialystok, Poland)
Bernd Wegner (Technical University of Berlin, Germany)
Eric W. Weisstein (Wolfram Research, Inc., Champaign, IL)
Werner Winiwarter (EC3, Austria)

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]