[FOM] MKM 2005 Program and Final Call for Participation (Early Registration Deadline ends Monday)
Michael Kohlhase
m.kohlhase at iu-bremen.de
Fri Jun 24 05:28:15 EDT 2005
[Please post - apologies for multiple copies.]
============================================
MKM 2005
Fourth International Conference on
MATHEMATICAL KNOWLEDGE MANAGEMENT
http://www.mkm-ig.org/meetings/mkm05/
15. - 17. July 2005 (Workshop: 14. July)
Bremen --- Germany
(organized by International University Bremen)
FINAL CALL FOR PARTICIPATION
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. A list of topics (to be understood as specialized to the
realm of mathematical information) comprises but is not restricted to:
Knowledge representation Repositories of formalized mathematics
Metadata Deduction systems
Data mining Computer Algebra Systems
Digital libraries Authoring languages and tools
Searching and retrieving Interactive learning
Languages of mathematics Web presentation of mathematics
Math assistants MathML- and XML-based standards
INVITED SPEAKER: Tom Hale (University of Pittsburgh)
MKM 2001, http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001/
MKM 2003, http://www.cs.unibo.it/MKM03/
MKM 2004 http://www.mizar.org/MKM2004/
NA-MKM 2002, http://imps.mcmaster.ca/na-mkm-2002/
NA-MKM 2004, http://imps.mcmaster.ca/na-mkm-2004/
To become a member of the MKM Interest group go to the conference or
subscribe to
the MKM mailing list at
http://lists.iu-bremen.de/mailman/admin/projects-mkm-ig
--
-------------------------------------------------------------------------
Prof. Dr. Michael Kohlhase, Office: Research 1, Room 62
Professor for Computer Science Campus Ring 12,
School of Engineering & Science D-28758 Bremen, Germany
International University Bremen tel/fax: +49 421 200-3140/-493140
http://www.faculty.iu-bremen.de/mkohlhase <m.kohlhase at iu-bremen.de>
--------------------------------------------------------------------------
_______________________________________________
projects-mkm-ig mailing list
projects-mkm-ig at lists.iu-bremen.de
http://lists.iu-bremen.de/mailman/listinfo/projects-mkm-ig
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: MKM_2005_program.txt
Url: /pipermail/fom/attachments/20050624/88ceffff/MKM_2005_program.txt
More information about the FOM
mailing list