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 A17FEBC75 for ; Wed, 23 Feb 2005 17:46:20 +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 j1NGk9Kp017062 for ; Wed, 23 Feb 2005 17:46:10 +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 RAA05295 for ; Wed, 23 Feb 2005 17:46:09 +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 j1NGk8L1006975 for ; Wed, 23 Feb 2005 17:46:08 +0100 Received: from localhost (demetrius.iu-bremen.de [212.201.44.32]) by hermes.iu-bremen.de (Postfix) with ESMTP id B72CAD8CC; Wed, 23 Feb 2005 17:46:06 +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 31842-05; Wed, 23 Feb 2005 17:46:05 +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 07699D8CA; Wed, 23 Feb 2005 17:46:05 +0100 (CET) Message-ID: <421CB460.5000000@iu-bremen.de> Date: Wed, 23 Feb 2005 17:50:40 +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 421CB352.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 421CB350.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; intersection:01 formalized:01 algebra:01 16.:98 14.:98 disseminate:98 abstract:01 organized:01 data:02 languages:03 languages:03 workshops:03 workshops:03 preliminary:03 deduction:04 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. ============================================ *** CALL FOR WORKSHOP PROPOSALS *** 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 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 Workshops have a key role in the MKM conference. They provide an ideal platform for the presentation of preliminary work or novel ideas in a less formal way than the conference itself. They also are an opportunity to disseminate work in progress, particularly for new researchers. Workshops also provide a venue for presenting more specialized topics and opportunities for more intensive discussions, exchange of ideas, and project collaboration. Workshops will take place at the conference site (International University Bremen) on the day before the main conference. The workshop organizers are responsible for the program, all local arrangements will be organized by the conference. To propose a workshop, please send an e-mail with title and abstract to m.kohlhase@iu-bremen.de Michael Kohlhase -- ------------------------------------------------------------------------- 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 --------------------------------------------------------------------------