Bisons in Bialowieza National Park     
MKM 2004
Third International Conference on

MATHEMATICAL   KNOWLEDGE   MANAGEMENT
http://mizar.org/MKM2004

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

Call for Papers
Closed
Submission Site
Closed
Location
Travel
Pictures

Registration and
Payment. Closed
Program Participants
Affiliated
Workshops

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
trybulec@math.uwb.edu.pl
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
romat@mizar.org
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

Sponsors:            

Related links
           The MKMNET Consortium
http://monet.nag.co.uk/mkm/consortium.html
           Conferences of the Consortium
MKM 2001, http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001/
MKM 2003, http://www.cs.unibo.it/MKM03/
           European Chapter
MKM NET, http://monet.nag.co.uk/mkm/
MKM Symposium 2003, http://www.macs.hw.ac.uk/~fairouz/mkm-symposium03/
           North American Chapter
NA-MKM 2002, http://imps.mcmaster.ca/na-mkm-2002/
NA-MKM 2004, http://imps.mcmaster.ca/na-mkm-2004/
William M. Farmer's article "MKM: A New Interdisciplinary Field of Research"
Last modified: October 5, 2004