Skip to Content.
Sympa Menu

coq-club - [Coq-Club] MKM07 Call-for-Participation

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] MKM07 Call-for-Participation


chronological Thread 
  • 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/
--------------------------------------------------------------------------------





Archive powered by MhonArc 2.6.16.

Top of Page