From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.7 required=5.0 tests=AWL,MSGID_FROM_MTA_HEADER, NO_REAL_NAME autolearn=disabled version=3.1.3 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 16E6ABC69 for ; Fri, 4 May 2007 13:08:52 +0200 (CEST) Received: from sun14.bham.ac.uk (sun14.bham.ac.uk [147.188.128.147]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l44B8pKj003553 for ; Fri, 4 May 2007 13:08:51 +0200 Message-Id: <200705041108.l44B8pKj003553@concorde.inria.fr> Received: from [147.188.128.127] (helo=bham.ac.uk) by sun14 with esmtp (Exim 4.66) (envelope-from ) id 1HjvRZ-0001Qn-OX; Fri, 04 May 2007 11:55:21 +0100 Received: from mx1.cs.bham.ac.uk ([147.188.192.53]) by bham.ac.uk with esmtp (Exim 4.43) id 1HjvRZ-0007UC-EX; Fri, 04 May 2007 11:55:21 +0100 Received: from preston.cs.bham.ac.uk ([147.188.193.17] helo=cs.bham.ac.uk) by mx1.cs.bham.ac.uk with esmtp (Exim 4.51) id 1HjvRZ-0002KO-8d; Fri, 04 May 2007 11:55:21 +0100 To: projects-mkm-ig@lists.iu-bremen.de, projects-mkm-trustees@lists.iu-bremen.de, namkm@hygelac.cas.mcmaster.ca, omdoc@mathweb.org, om-announce@openmath.org, calculemus-ig@ags.uni-sb.de, ftp@logic.at, ftp-community@logic.at, kgs@logic.tuwien.ac.at, theorem-provers@ai.mit.edu, 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, CADEinc@cs.albany.edu, deduktion@intellektik.informatik.th-darmstadt.de, rewriting@ens-lyon.fr, ccl@ps.uni-sb.de, clp@comp.nus.edu.sg, complog@cs.nmsu.edu, comlab@comlab.ox.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, 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, mapledev@maplesoft.com, fom@cs.nyu.edu, caml-list@inria.fr, eapls@jiscmail.ac.uk, asl@vassar.edu, fg121@sunjessen46.informatik.tu-muenchen.de, ed@mcs.anl.gov, www-math@w3.org, aisb@cogs.sussex.ac.uk, lprolog@cs.umn.edu, vki-list@dfki.de, zforum@prg.ox.ac.uk, mathgroup@smc.vnet.net, webmath@camel.math.ca From: mkm07@cs.bham.ac.uk Subject: MKM07 Call-for-Participation Date: Fri, 04 May 2007 11:55:21 +0100 Sender: M.Kerber@cs.bham.ac.uk X-BHAM-CUBE-wlist: LOCAL mx1.cs.bham.ac.uk X-BHAM-CUBE-processed: yes X-j-chkmail-Score: MSGID : 463B1443.001 on concorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at concorde with ID 463B1443.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; intersection:01 sloane:98 integer:01 cambridge:03 bham:04 bham:04 workshops:05 workshops:05 shannon:05 sequences:05 labs:06 mathematics:06 mathematics:06 group:07 univ:07 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/ --------------------------------------------------------------------------------