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 nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id D9DBDBB83 for ; Tue, 23 May 2006 15:41:09 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id k4NDf8HY014039 for ; Tue, 23 May 2006 15:41:09 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA03939 for ; Tue, 23 May 2006 15:41:08 +0200 (MET DST) Received: from vimg3.rdg.ac.uk (vimg3.rdg.ac.uk [134.225.1.80]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id k4NDf8WN014035 for ; Tue, 23 May 2006 15:41:08 +0200 Received: from vimp1.rdg.ac.uk ([134.225.2.33]) by vimg3.rdg.ac.uk (Exim: gateway) with esmtp id 1FiX7t-0001ur-00; Tue, 23 May 2006 14:40:45 +0100 Received: from dragon.rdg.ac.uk ([134.225.56.19] helo=dragon.reading.ac.uk) by vimp1.rdg.ac.uk (Exim: virusscanner) with esmtps id 1FiX7t-0004Gt-4T; Tue, 23 May 2006 14:40:45 +0100 Received: from dragon.reading.ac.uk (dragon.reading.ac.uk [127.0.0.1]) by dragon.reading.ac.uk (8.13.1/8.11.2) with ESMTP id k4NDejaD001841; Tue, 23 May 2006 14:40:45 +0100 Received: from reading.ac.uk (aaa@localhost) by dragon.reading.ac.uk (8.13.1/8.12.8/Submit) with ESMTP id k4NDeZSq001838; Tue, 23 May 2006 14:40:35 +0100 Message-Id: <200605231340.k4NDeZSq001838@dragon.reading.ac.uk> X-Authentication-Warning: dragon.reading.ac.uk: aaa owned process doing -bs X-Mailer: exmh version VERSION 01/15/2001 with nmh-1.0.4 To: vdm-forum@mailbase.ac.uk, mapledev@maplesoft.com, fom@cs.nyu.edu, caml-list@inria.fr, eapls@jiscmail.ac.uk Subject: MKM 2006: Call for Participation Date: Tue, 23 May 2006 14:40:35 +0100 From: "Andrew A. Adams " X-Scan-Signature: 2d2a878ce395db3bacf2011835bcead4 X-Miltered: at nez-perce with ID 447310F5.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 447310F4.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; intersection:01 lecturer: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 aaa:96 roles:04 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.3 [Apologies if you receive multiple copies.] MKM 2006: The 5th International Conference on Mathematical Knowledge Management 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 event consists of a one day workshop (MathUI - Mathematical User Interfaces) on the 10th August and the main conference on 11th and 12th August. The main 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. 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 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 run under the auspices of the MKM Interest Group (www.mkm-ig.org). MKM 2006 is an official Satellite Conference of the International Congress of Mathematicians. -- Dr Andrew A. Adams, Lecturer in Systems Engineering, University of Reading http://www.rdg.ac.uk/~sis00aaa Conference Chair, MKM '06 http://www.rdg.ac.uk/MKM06/