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)

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

SUBMISSION - closed

To submit your paper go to MKM 2004 electronic submission site:
http://mizar.uwb.edu.pl/CyberChairMKM/
The deadline for submissions is May 15, 2004. Submitted papers should not exceed 15 pages, must be original and not submitted for publication elsewhere. All papers will be reviewed. Accepted papers will appear in the proceedings before the Conference.

The proceedings of the Conference will be published in the Springer-Verlag Lecture Notes in Computer Science series (No. 3119). Submitted papers must be prepared according to "Information for LNCS Authors":
http://www.springeronline.com/sgw/cda/frontpage/0,10735,5-164-2-72376-0,00.html
Only LaTeX2e version will be accepted at the final stage. Authors of accepted papers are expected to present their work at the conference.
  • submitted papers - 49
  • accepted papers - 28
  • authors - 97


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
Program Chair:
Andrzej Trybulec
University of Bialystok
Institute of Informatics
ul. Sosnowa 64
15-887 Bialystok, POLAND
Email: 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
Email: romat@mizar.org
Phone: + 48 85 745 75 10
Fax: + 48 85 745 74 78
Mobile:+ 48 603 491 986



Roman Matuszewski, last modified: September 8, 2004