[TYPES] MKM 2005 Program and Final Call for Participation (Early Registration Deadline ends Monday)

[Michael Kohlhase]

[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: http://lists.seas.upenn.edu/pipermail/types-list/attachments/20050624/88ceffff/MKM_2005_program.txt