|
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 ofmathematical knowledge available in current mathematical sources andmaking it available through the new developments in informationtechnology. The Conference aims to bring together mathematicians, softwaredevelopers, publishing companies, math organizations, andteachers for exchanging their views and approaches, current activitiesand new initiatives.The proceedings of the conference containing the refereed and accepted papers will appear as a volume of the Springer Lecture Notes inComputer Science, No. 3119 . 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: Fax: |
Conference Chair:
Roman Matuszewski University of Bialystok Department of Logic Plac Uniwersytecki 1 15-420 Bialystok, Poland Phone: Fax: mobile: |
Organizing Committee
Adam Naumowicz (Univ. of Bialystok) Mariusz Giero (Univ. of Bialystok) Adam Grabowski (Univ. of Bialystok) Magda Polubiec (Warsaw) mobile: Jan Matuszewski (Warsaw) Robert Budzynski (Warsaw) mobile: |
|
Questions - should be sent to |
Sponsors : |
|
