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