[TYPES] MKM 2005 (Mathematical Knowledge Management) first Call for Papers

[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. - 16. July 2005 (Workshops: 14. July)
                     Bremen --- Germany
            (organized by International University Bremen)

                       CALL FOR PAPERS

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

SUBMISSION

The deadline for submissions is March 20, 2005. Submitted papers should
not exceed 15 pages, must be original and not submitted for publication
elsewhere. All papers submitted to the Conference will be reviewed.
Accepted papers will appear in the proceedings before the Conference.

PROCEEDINGS

We plan to publish the proceedings of the Conference in the
Springer-Verlag Lecture Notes in Artificial Intelligence series.
For instructions see http://www.mkm-ig.org/meetings/mkm05/.

Authors of accepted papers are expected to present their work
at the conference.

IMPORTANT DATES

Submission Deadline:                   March 20, 2005
Notification of acceptance/rejection:  April 22, 2005
Camera ready copies:                   May 15, 2005
Conference:                            15. - 16. July, 200

AFFILIATED WORKSHOPS - July 14, 2005



PROGRAM COMMITTEE
Michael Kohlhase       International University Bremen, Germany (Chair)
Andrew Adams           Reading University, UK
Andrea Asperti         University of Bologna, Italy
Richard Baraniuk       Rice University, USA
Christoph Benzmueller  Saarland University, Germany
Olga Caprotti          University of Helsinki, Finland
Mike Dewar             NAG, Ltd., UK
Bill Farmer            McMaster University, Canada
Tetsuo Ida             University of Tsukuba, Japan
Fairouz Kamareddine    Heriott Watt University, Scotland
Roman Matuszewski      University of Bialystok, Poland
Robert Miner           Design Science, USA
Till Mossakowski       Unversity Bremen, Germany
Stephen Watt           University Western Ontario, Canada

RELATED LINKS

MKM Consortium, http://monet.nag.co.uk/mkm/consortium.html
MKM 2001,     http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001/
MKM 2003,     http://www.cs.unibo.it/MKM03/
MKM NET,      http://monet.nag.co.uk/mkm/
MKM Symposium 2003,  http://www.macs.hw.ac.uk/~fairouz/mkm-symposium03/
NA-MKM 2002,  http://imps.mcmaster.ca/na-mkm-2002/
NA-MKM 2004,  http://imps.mcmaster.ca/na-mkm-2004/

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

--------------------------------------------------------------------------