[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


          15. - 17. July 2005 (Workshop: 14. July)
                    Bremen --- Germany
           (organized by International University Bremen)


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

   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
-------------- 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