coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] MKM07 Call-for-Participation

From: mkm07 AT cs.bham.ac.uk
To: projects-mkm-ig AT lysander.iu-bremen.de, projects-mkm-trustees AT lysander.iu-bremen.de, namkm AT hygelac.cas.mcmaster.ca, omdoc AT mathweb.org, om-announce AT openmath.org, calculemus-ig AT ags.uni-sb.de, ftp AT logic.at, ftp-community AT logic.at, kgs AT logic.tuwien.ac.at, theorem-provers AT ai.mit.edu, coq-club AT pauillac.inria.fr, compulognet-parimp AT dia.fi.upm.es, formal-methods AT cs.uidaho.edu, info-hol AT cs.uidaho.edu, isabelle-users AT cl.cam.ac.uk, mizar-forum AT mizar.uwb.edu.pl, pvs AT csl.sri.com, acl2 AT cs.utexas.edu, nqthm-users AT cs.utexas.edu, nuprl AT cs.cornell.edu, CADEinc AT cs.albany.edu, deduktion AT intellektik.informatik.th-darmstadt.de, rewriting AT ens-lyon.fr, ccl AT ps.uni-sb.de, clp AT comp.nus.edu.sg, complog AT cs.nmsu.edu, comlab AT comlab.ox.ac.uk, kbcsl AT uni-paderborn.de, ki-inf AT uni-koblenz.de, kr AT kr.org, lfcs-interest AT dcs.ed.ac.uk, stp AT dcs.gla.ac.uk, types AT cis.upenn.edu, aiia AT di.unito.it, members AT fmeurope.org, siksleden AT cs.ruu.nl, om AT openmath.org, seworld AT cs.colorado.edu, SymbolicNet AT mcs.kent.edu, vdm-forum AT mailbase.ac.uk, mapledev AT maplesoft.com, fom AT cs.nyu.edu, caml-list AT inria.fr, eapls AT jiscmail.ac.uk, asl AT vassar.edu, fg121 AT sunjessen46.informatik.tu-muenchen.de, ed AT mcs.anl.gov, www-math AT w3.org, aisb AT cogs.sussex.ac.uk, lprolog AT cs.umn.edu, vki-list AT dfki.de, zforum AT prg.ox.ac.uk, mathgroup AT smc.vnet.net, webmath AT camel.math.ca
Subject: [Coq-Club] MKM07 Call-for-Participation
Date: Fri, 04 May 2007 11:55:21 +0100
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

                          MKM 2007

              Sixth International Conference on
             MATHEMATICAL  KNOWLEDGE  MANAGEMENT

           http://www.cs.bham.ac.uk/~mmk/events/MKM07/

                      27--30 June 2007
                 RISC -- Hagenberg -- Austria

                    CALL FOR PARTICIPATION

Mathematical Knowledge Management is an innovative field in the
intersection of mathematics and computer science.  Its development is
driven on the one hand by the new technological possibilities which
computer science, the internet, and intelligent knowledge processing
offer, and on the other hand by the need for new techniques for
managing the rapidly growing volume of mathematical knowledge.
The conference is concerned with all aspects of mathematical knowledge
management.

INVITED SPEAKERS

* Neil J. A. Sloane, AT&T Shannon Labs, Florham Park, New Jersey, USA:
  The On-Line Encyclopedia of Integer Sequences
* Peter Murray-Rust, Univ. of Cambridge, Department of Chemistry, UK:
  Mathematics and scientific markup

WORKSHOPS
* Mathematical User-Interfaces Workshop 2007 (MathUI07)
* 8th OpenMath Meeting
* W3C Math Working Group Face-to-Face Meeting

EARLY REGISTRATION
  13 MAY 2007

FURTHER INFORMATION
  on the workshops, the exciting programme and early registration can be
  found from http://www.cs.bham.ac.uk/~mmk/events/MKM07/
--------------------------------------------------------------------------------

[Coq-Club] MKM07 Call-for-Participation, mkm07