|
Program Committee:
Andrea Asperti (Chair),
University of Bologna, Italy
Bruno Buchberger,
RISC Linz, Austria
James Caldwell,
University of Wyoming, U.S.A.
Olga Caprotti,
RISC Linz, Austria
James Davenport,
University of Bath, U.K.
William M.Farmer,
McMaster University, Canada
Herman Geuvers,
Katholieke U. Nijmegen, NL
Therese Hardin,
U. Paris 6, France
Michiel Hazewinkel,
CWI Amsterdam, NL
Michael Kohlhase,
Carnegie Mellon Univ., U.S.A.
Patrick D.F.Ion,
Univ. of Michigan, U.S.A.
Zhaohui Luo,
Univ. of Durham, U.K.
Rob Nederpelt,
Eindhoven U. of Technology, NL
Mark Sofroniou,
Wolfram Research Inc.
Neil Soiffer,
Wolfram Research Inc.
Masakazu Suzuki,
Kyushu University, Japan
Nobuki Takayama,
Kobe University, Japan
Andrzej Trybulec,
Univ. of Bialystok, Poland
Stephen Watt,
U. of Western Ontario, Canada
Bernd Wegner,
Technical U. of Berlin, Germany |
Mathematical Knowledge Management is an exciting new field in the intersection of mathematics and computer science.We need efficient, new techniques - based on sophisticated formal mathematics and software technology - for taking fruit of theenormous knowledge available in current mathematical sources and fororganizing mathematical knowledge in a new way. On the other side, due itsvery nature, the realm of mathematical information looks as thebest candidate for testing innovative theoretical and technologicalsolutions for content-based systems, interoperability, management ofmachine understandable information, and the Semantic Web. The Conference aims to bring together math researchers, software developers, publishing companies, math organizations, andteachers for exchanging their views and approaches and for pushing the field. The Conference proceedings will be published in theSpringer-Verlag Lecture Notes in Computer Science series. |
|||||
|
||||||
Important dates:
|
||||||
|