Second International Conference on

FEBRUARY 16th - 18th, 2003
(Residential Centre of the University of Bologna)


Program Committee:
Andrea Asperti (Chair),
University of Bologna, Italy
Bruno Buchberger,
RISC Linz, Austria
James Caldwell,
University of Wyoming, U.S.A.
Olga Caprotti,
RISC Linz, Austria
James Davenport,
University of Bath, U.K.
William M.Farmer,
McMaster University, Canada
Herman Geuvers,
Katholieke U. Nijmegen, NL
Therese Hardin,
U. Paris 6, France
Michiel Hazewinkel,
CWI Amsterdam, NL
Michael Kohlhase,
Carnegie Mellon Univ., U.S.A.
Patrick D.F.Ion,
Univ. of Michigan, U.S.A.
Zhaohui Luo,
Univ. of Durham, U.K.
Rob Nederpelt,
Eindhoven U. of Technology, NL
Mark Sofroniou,
Wolfram Research Inc.
Neil Soiffer,
Wolfram Research Inc.
Masakazu Suzuki,
Kyushu University, Japan
Nobuki Takayama,
Kobe University, Japan
Andrzej Trybulec,
Univ. of Bialystok, Poland
Stephen Watt,
U. of Western Ontario, Canada
Bernd Wegner,
Technical U. of Berlin, Germany

The Conference looks for original contributions on theoretical, technological and pragmatical aspects of mathematical knowledge management. Papers focused on system/projects descriptions and comparison, standardization efforts, critical surveys, large experimentations, and case studies of mathematical knowledge management are particularly welcome. A not exhaustive list of topics (to be understood as specialized to the realm of MATHEMATICAL information) comprises:

  • Authoring languages and tools
  • Computer Algebra Systems
  • Data Mining
  • Digital Libraries
  • Interactive learning
  • Interoperability
  • MathML and XML based standards
  • Metadata
  • Theorem Proving
  • Proof Assistants
  • Searching and Retrieving
  • Web Publishing

The Conference proceedings will be published in the Springer-Verlag Lecture Notes in Computer Science series.

Paper submission will be electronic. The deadline for submissions is september 9, 2002. Papers should not exceed twelve pages and should be edited according to the Authors Instructions of LNCS.

Authors will be notified for acceptance/rejection of their works on November 1st, 2002.

The first page should include the title of the paper, names and affiliations of authors, a brief synopsis, and the contact author's name, address and email address. The results must be unpublished and not submitted for publication elsewhere, including the proceedings of other symposia or workshops.

In case of acceptance, since LNCS is also published, in parallel to the printed books, in full-text electronic version, authors will be required to send, besides the printed papers, the electronic source files of all parts of the manuscript (including front matter pages) as adviced in the instructions.

Important dates:

  • Extended Submission Deadline: September 9th, 2002

  • Notification of acceptance/rejection: November 1st, 2002
  • Final version: November 22nd, 2002
  • Conference: February 16th - 18th, 2003

[home] [submission] [location] [affiliated worksops] [program] [registration]

Andrea Asperti
Last modified: February 15th, 2002