W3C home > Mailing lists > Public > www-math@w3.org > March 2005

Second CfP: MKM 2005 (extended deadline: May 15)

From: Michael Kohlhase <m.kohlhase@iu-bremen.de>
Date: Tue, 15 Mar 2005 11:43:01 +0100
Message-ID: <4236BC35.7030109@iu-bremen.de>
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, 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, 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, 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, mapledev@maplesoft.com, fom@cs.nyu.edu, caml-list@inria.fr, ftp@logic.at, ed@mcs.anl.gov, www-math@w3.org, aisb@cogs.sussex.ac.uk, compulog-deduction@cs.bham.ac.uk, lprolog@cs.umn.edu, vki-list@dfki.de, zforum@prg.ox.ac.uk

[Please post - apologies for multiple copies.]

                          MKM 2005

              Fourth International Conference on


           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


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 after the Conference.


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.


Submission Deadline:                   15. May 2005
Notification of acceptance/rejection:  15. June, 2005
Conference copies:                     3. July, 2005
Conference:                            15. - 16. July, 200
Affiliated Workshops:                  14 July, 2005
Camera-ready Copy:		       14. August 2005
Proceedings ship:		       Mid-October 2005

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


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

Received on Tuesday, 15 March 2005 10:43:08 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 20 February 2010 06:12:57 GMT