From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 34CCEBC88 for ; Mon, 7 Feb 2005 09:36:54 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j178aWgN006056 for ; Mon, 7 Feb 2005 09:36:33 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id JAA28136 for ; Mon, 7 Feb 2005 09:36:32 +0100 (MET) Received: from hermes.iu-bremen.de (hermes.iu-bremen.de [212.201.44.23]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j178aW8n000913 for ; Mon, 7 Feb 2005 09:36:32 +0100 Received: from localhost (demetrius.iu-bremen.de [212.201.44.32]) by hermes.iu-bremen.de (Postfix) with ESMTP id 738F1DDD9; Mon, 7 Feb 2005 09:36:31 +0100 (CET) Received: from hermes.iu-bremen.de ([212.201.44.23]) by localhost (demetrius [212.201.44.32]) (amavisd-new, port 10024) with ESMTP id 00848-05; Mon, 7 Feb 2005 09:36:30 +0100 (CET) Received: from [212.201.49.165] (kwarc.faculty.iu-bremen.de [212.201.49.165]) by hermes.iu-bremen.de (Postfix) with ESMTP id 0BE48D7B1; Mon, 7 Feb 2005 09:36:30 +0100 (CET) Message-ID: <42072987.9010206@iu-bremen.de> Date: Mon, 07 Feb 2005 09:40:39 +0100 From: Michael Kohlhase Reply-To: m.kohlhase@iu-bremen.de Organization: International University Bremen User-Agent: Mozilla Thunderbird 1.0RC1 (X11/20041201) X-Accept-Language: en-us, en MIME-Version: 1.0 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 Subject: MKM 2005 (Mathematical Knowledge Management) first Call for Papers Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Virus-Scanned: by amavisd-new 20030616p5 at demetrius.iu-bremen.de X-Miltered: at nez-perce with ID 42072890.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 42072890.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; intersection:01 formalized:01 algebra:01 saarland:01 unibo:01 macs:01 16.:98 14.:98 16.:98 farmer:98 2003,:98 2003,:98 organized:01 artificial:01 data:02 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: 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 --------------------------------------------------------------------------