Bisons in Bialowieza National Park     
MKM 2004
Third International Conference on


SEPTEMBER 19th - 21st, 2004
(organized by University of Bialystok)

Call for Papers
Submission Site

Registration and
Payment. Closed
Program Participants

Program Committee:
Andrzej Trybulec (Chair),
University of Bialystok, Poland
Andrew A. Adams,
University of Reading, U.K.
Andrea Asperti,
University of Bologna, Italy
Bruno Buchberger,
RISC Linz, Austria
Roy McCasland ,
U. of Edinburgh, U.K.
James Davenport,
University of Bath, U.K.
William M.Farmer,
McMaster University, Canada
Herman Geuvers,
Katholieke U. Nijmegen, NL
Therese Hardin, Pierre & Marie
Curie University, France
Fairouz Kamareddine,
Heriot-Watt U., U.K.
Michael Kohlhase,
Internat. U. Bremen, Germany
Paul Libbrecht,
Saarland University, Germany
Bengt Nordstrom,
Chalmers U. of Techn., Sweden
Renaud Rioboo, Pierre & Marie
Curie University, France
Bernd Wegner,
Technical U. of Berlin, Germany

Important dates:

  • Submission deadline: May 15, 2004. Closed.
  • Notification of acceptance/rejection: June 10, 2004. Closed.
  • Camera ready copies: July 1st, 2004. Closed.
  • Early registration deadline: August 12, 2004. Closed.
  • Late registration deadline: September 7, 2004. Closed.
  • Workshops: September 18, 2004
  • Conference: September 19 - 21, 2004

Mathematical Knowledge Management is a new field in the intersection of mathematics and computer science. We need new techniques for managing the enormous volume of mathematical knowledge available in current mathematical sources and making it available through the new developments in information technology.

The Conference aims to bring together mathematicians, software developers, publishing companies, math organizations, and teachers for exchanging their views and approaches, current activities and new initiatives.
The proceedings of the conference containing the refereed and accepted papers will appear as a volume of the Springer Lecture Notes in Computer Science, No. 3119 (now available online).

Poster: A4.jpg (260 kB), A3.pdf (2.8 MB), A2.pdf (2.8 MB).

Program Chair:
Andrzej Trybulec
University of Bialystok
Institute of Informatics
ul. Sosnowa 64
15-887 Bialystok, Poland
Phone: + 48 85 745 75 59
Fax: + 48 85 745 70 73
Conference Chair:
Roman Matuszewski
University of Bialystok
Department of Logic
Plac Uniwersytecki 1
15-420 Bialystok, Poland
Phone: + 48 85 745 75 10
Fax: + 48 85 745 74 78
mobile:+ 48-603-491-986
Organizing Committee
Adam Naumowicz (Univ. of Bialystok)
Mariusz Giero (Univ. of Bialystok)
Adam Grabowski (Univ. of Bialystok)
Magda Polubiec (Warsaw)
mobile: +48-602-133-431
Jan Matuszewski (Warsaw)
Robert Budzynski (Warsaw)
mobile: +48-602-64-64-32

Questions - should be sent to Roman Matuszewski


Related links
           The MKMNET Consortium
           Conferences of the Consortium
MKM 2001,
MKM 2003,
           European Chapter
MKM Symposium 2003,
           North American Chapter
NA-MKM 2002,
NA-MKM 2004,
William M. Farmer's article "MKM: A New Interdisciplinary Field of Research"
Last modified: October 5, 2004