MKM 2005 Final CfP

• From: Michael Kohlhase <m.kohlhase@iu-bremen.de>
• Date: Sat, 07 May 2005 07:13:39 +0200
• To: eapls@jiscmail.ac.uk, asl@vassar.edu, rewriting@ens-lyon.fr, mizar-forum@mizar.uwb.edu.pl, projects-mkm-ig@iu-bremen.de, omdoc@mathweb.org, om-announce@openmath.org, calculemus-ig@ags.uni-sb.de, ftp-community@logic.at, kgs@logic.tuwien.ac.at, theorem-provers@ai.mit.edu, qed@mcs.anl.gov, coq-club@pauillac.inria.fr, compulognet-parimp@dia.fi.upm.es, formal-methods@cs.uidaho.edu, info-hol@cs.uidaho.edu, isabelle-users@cl.cam.ac.uk, mizar-forum@mizar.uwb.edu.pl, pvs@csl.sri.com, acl2@cs.utexas.edu, nqthm-users@cs.utexas.edu, nuprl@cs.cornell.edu, nuprllist@cs.cornell.edu, CADEinc@cs.albany.edu, deducktion@intellektik.informatik.th-darmstadt.de, bra-types@cs.chalmers.se, rewriting@ens-lyon.fr, kgs@logic.tuwien.ac.at, ccl@ps.uni-sb.de, clp@comp.nus.edu.sg, complog@cs.nmsu.edu, comlab@comlab.ox.ac.uk, facs@lboro.ac.uk, kbcsl@uni-paderborn.de, ki-inf@uni-koblenz.de, kr@kr.org, lfcs-interest@dcs.ed.ac.uk, stp@dcs.gla.ac.uk, types@cis.upenn.edu, csp@carlit.toulouse.inra.fr, aiia@di.unito.it, members@fmeurope.org, siksleden@cs.ruu.nl, om@openmath.org, seworld@cs.colorado.edu, SymbolicNet@mcs.kent.edu, vdm-forum@mailbase.ac.uk, wollic@di.ufpe.br, mapledev@maplesoft.com, fom@cs.nyu.edu, caml-list@inria.fr, fg121@sunjessen46.informatik.tu-muenchen.de, ftp@logic.at, ed@mcs.anl.gov, www-math@w3.org, aisb@cogs.sussex.ac.uk, alp@doc.ic.ac.uk, compulog-deduction@cs.bham.ac.uk, dreamers@dai.ed.ac.uk, lprolog@cs.umn.edu, vki-list@dfki.de, zforum@prg.ox.ac.uk
• Message-ID: <427C4E83.4060107@iu-bremen.de>

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

                   FINAL CALL FOR PAPERS
           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

SUBMISSION

The deadline for submissions is May 15, 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 after the Conference.

       Submission Site: http://www.easychair.org/mkm05/submit/

PROCEEDINGS

We we will publish the post-conference proceedings in the Springer-Verlag
LNAI or LNCS series (which will depend on the submissions). For 
instructions
see http://www.mkm-ig.org/meetings/mkm05/.

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

INVITED SPEAKER: Tom Hale (University of Pittsburgh)

IMPORTANT DATES

Submission Deadline:                   15. May 2005
Notification of acceptance/rejection:  15. June, 2005
Conference copies:                     3. July, 2005
Conference:                            15. - 16. July, 2005
Affiliated Workshops:                  14 July, 2005
Camera-ready Copy:                     14. August 2005
Proceedings ship:                      Mid-October 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
Andrzej Trybulec      University of Bialystok, Poland
Robert Miner          Design Science, USA
Till Mossakowski      University Bremen, Germany
Stephen Watt          University Western Ontario, Canada

RELATED LINKS

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@iu-bremen.de>          
--------------------------------------------------------------------------

Received on Saturday, 7 May 2005 05:13:54 UTC