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 A6ED9BCA9 for ; Sat, 7 May 2005 07:14:07 +0200 (CEST) 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 j475Dnvq031147 for ; Sat, 7 May 2005 07:13:49 +0200 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 HAA20096 for ; Sat, 7 May 2005 07:13:49 +0200 (MET DST) 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 j475Dm3r002663 for ; Sat, 7 May 2005 07:13:48 +0200 Received: from localhost (demetrius.iu-bremen.de [212.201.44.32]) by hermes.iu-bremen.de (Postfix) with ESMTP id D4B0D39978; Sat, 7 May 2005 07:13:47 +0200 (CEST) Received: from hermes.iu-bremen.de ([212.201.44.23]) by localhost (demetrius [212.201.44.32]) (amavisd-new, port 10024) with ESMTP id 15048-10; Sat, 7 May 2005 07:13:46 +0200 (CEST) Received: from [192.168.2.33] (Ibb96.i.pppool.de [85.73.187.150]) by hermes.iu-bremen.de (Postfix) with ESMTP id 543D6396A1; Sat, 7 May 2005 07:13:41 +0200 (CEST) Message-ID: <427C4E83.4060107@iu-bremen.de> Date: Sat, 07 May 2005 07:13:39 +0200 From: Michael Kohlhase Reply-To: m.kohlhase@iu-bremen.de Organization: International University Bremen User-Agent: Mozilla/5.0 (Macintosh; U; PPC Mac OS X Mach-O; en-US; rv:1.7.3) Gecko/20040910 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 Final CfP 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 427C4E8D.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 427C4E8C.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.01; cfp:01 intersection:01 formalized:01 algebra:01 lncs:01 saarland:01 andrzej:01 unibo:01 15.:98 16.:98 14.:98 authoring:98 15.:98 16.:98 14.:98 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) 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 --------------------------------------------------------------------------