|
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:
|
|
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- |
Organizing Committee Adam Naumowicz (Univ. of Bialystok) Mariusz Giero (Univ. of Bialystok) Adam Grabowski (Univ. of Bialystok) Magda Polubiec (Warsaw) mobile: +48- Jan Matuszewski (Warsaw) Robert Budzynski (Warsaw) mobile: +48- |
|
Questions - should be sent to Roman Matuszewski |
Sponsors: | 
|
