From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 48B80BB84 for ; Wed, 28 Jun 2006 11:36:23 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k5S9aH7H023386 for ; Wed, 28 Jun 2006 11:36:18 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA13762 for ; Wed, 28 Jun 2006 11:36:17 +0200 (MET DST) Received: from vscani-e2.ucl.ac.uk (vscani-e2.ucl.ac.uk [144.82.108.34]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k5S9aG6f023380 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Wed, 28 Jun 2006 11:36:17 +0200 Received: from h30.uclic.ucl.ac.uk ([128.40.158.222] helo=Cairns2.ucl.ac.uk) by vscani-e.ucl.ac.uk with esmtp (Exim 4.60) (envelope-from ) id 1FvWF7-0006YK-B3; Wed, 28 Jun 2006 10:21:53 +0100 Message-Id: <6.0.3.0.0.20060628101601.01f4e3f0@pop-server.ucl.ac.uk> X-Sender: ucjtpac@pop-server.ucl.ac.uk X-Mailer: QUALCOMM Windows Eudora Version 6.0.3.0 Date: Wed, 28 Jun 2006 10:19:53 +0100 To: projects-mkm-ig@lysander.iu-bremen.de, projects-mkm-trustees@lysander.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, deducktion@intellektik.informatik.th-darmstadt.de, 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, 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, formal-methods@cs.uidaho.edu, fg121@sunjessen46.informatik.tu-muenchen.de, ed@mcs.anl.gov, www-math@w3.org, aisb@cogs.sussex.ac.uk, compulog-deduction@cs.bham.ac.uk, lprolog@cs.umn.edu, vki-list@dfki.de, zforum@prg.ox.ac.uk, mathgroup@smc.vnet.net, webmath@camel.math.ca From: Paul Cairns Subject: MKM 2006: Call for Participation Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; format=flowed X-UCL-MailScanner-Information: Please contact the UCL Helpdesk, helpdesk@ucl.ac.uk for more information X-UCL-MailScanner: Found to be clean X-UCL-MailScanner-From: p.cairns@ucl.ac.uk X-Miltered: at concorde with ID 44A24D91.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 44A24D90.002 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; intersection:01 2006:98 2006:98 farmer:98 interfaces:01 refereed:01 objective:02 mcmaster:02 co-chairs:02 co-chairs:02 library:03 library:03 roles:04 papers:05 mathematics:06 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 MKM 2006: The 5th internation Conference on Mathematical Knowledger Management ***EARLY REGISTRATION ENDS 1st JULY***** 10-12 August 2006, St Annes Manor Hotel, Wokingham, UK. Call for Participation Mathematical Knowledge Management (MKM) is an emerging interdisciplinary field of research in the intersection of mathematics, computer science, library science, and scientific publishing. Its objective is to develop new and better ways of managing mathematical knowledge using sophisticated software tools. Its grand challenge is to create a universal digital mathematics library accessible via the World-Wide Web. Sponsored by the MKM Interest Group, MKM 2006 will be the fifth conference in a series of international MKM conferences that started in 2001. The two day conference programme will consist of 20 fully refereed papers, two invited speakers and a panel discussion. The MKM Interest Group Business Meeting will be held on the Friday of the conference. Invited Speakers: * Gregory J. Chaitin, IBM Research Irreducible complexity in pure math * Abdou Youssef, George Washington University Roles of Math Search in Mathematics The conference programme will be available on the web site shortly. Registration for the conference, and the associated workshop MathUI (User Interfaces for Mathematics) is now available via the conference web site at: http://www.rdg.ac.uk/MKM06/ Organisers: Conference Co-Chairs: * Andrew A. Adams, The University of Reading, UK * Paul Cairns, UCL, UK Programme Committee Co-Chairs: * Jon Borwein, Dalhousie University, Canada * William Farmer, McMaster University, Canada MKM 2006 is an official Satellite Conference of the International Congress of Mathematicians.