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

MKM 2005 Call for Workshop Proposals (Mathematical Knowledge Management)

From: Michael Kohlhase <m.kohlhase@iu-bremen.de>
Date: Wed, 23 Feb 2005 17:54:41 +0100
Message-ID: <421CB551.6020006@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, 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

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

--------------------------------------------------------------------------
Received on Wednesday, 23 February 2005 16:50:13 GMT

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