coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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
Archive powered by MhonArc 2.6.16.