From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 2A8D5BC32 for ; Tue, 15 Mar 2005 11:43:13 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j2FAh54Q015841 for ; Tue, 15 Mar 2005 11:43:06 +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 LAA04714 for ; Tue, 15 Mar 2005 11:43:05 +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 j2FAh3Z8015835 for ; Tue, 15 Mar 2005 11:43:05 +0100 Received: from localhost (demetrius.iu-bremen.de [212.201.44.32]) by hermes.iu-bremen.de (Postfix) with ESMTP id 29AB7390E4; Tue, 15 Mar 2005 11:43:03 +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 15471-03; Tue, 15 Mar 2005 11:43:01 +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 97E9E390E2; Tue, 15 Mar 2005 11:43:01 +0100 (CET) Message-ID: <4236BC35.7030109@iu-bremen.de> Date: Tue, 15 Mar 2005 11:43:01 +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, 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 Subject: Second CfP: MKM 2005 (extended deadline: May 15) 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 concorde with ID 4236BC39.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 4236BC37.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; cfp:01 intersection:01 formalized:01 algebra:01 lncs:01 saarland:01 andrzej:01 unibo:01 16.:98 14.:98 16.:98 14.:98 farmer:98 2003,:98 organized:01 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 after the Conference. 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. IMPORTANT DATES 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 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 --------------------------------------------------------------------------