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.8 required=5.0 tests=MAILTO_TO_SPAM_ADDR, NO_REAL_NAME autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 38E9FBC0A for ; Thu, 18 Jan 2007 11:35:24 +0100 (CET) Received: from sun13.bham.ac.uk (sun13.bham.ac.uk [147.188.128.225]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l0IAZN3Y008317 for ; Thu, 18 Jan 2007 11:35:23 +0100 Received: from [147.188.128.127] (helo=bham.ac.uk) by sun13.bham.ac.uk with esmtp (Exim 4.10) id 1H7UM0-0002me-00; Thu, 18 Jan 2007 10:18:44 +0000 Received: from mx1.cs.bham.ac.uk ([147.188.192.53]) by bham.ac.uk with esmtp (Exim 4.43) id 1H7UM0-0003Kx-P7; Thu, 18 Jan 2007 10:18:44 +0000 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 1H7UM0-0004lQ-IO; Thu, 18 Jan 2007 10:18:44 +0000 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: Second Call for Papers MKM-2007 (Mathematical Knowledge Management) Date: Thu, 18 Jan 2007 10:18:44 +0000 Sender: M.Kerber@cs.bham.ac.uk X-BHAM-CUBE-wlist: LOCAL mx1.cs.bham.ac.uk X-BHAM-CUBE-processed: yes Message-Id: X-Miltered: at discorde with ID 45AF4D6B.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.01; intersection:01 formalized:01 inference:01 semantics:01 algebra:01 heriot-watt:01 dfki:01 andrzej:01 ocr:98 authoring:98 sloane:98 2007,:98 2007.:98 farmer:98 ross:98 [Please post - apologies for multiple copies.] MKM 2007 Sixth International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT http://www.cs.bham.ac.uk/~mmk/events/MKM07/ 27--30 June 2007 Hagenberg --- Austria SECOND CALL FOR PAPERS 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. A (non-exclusive) list of important areas of current interest includes: Representation of mathematical knowledge Repositories of formalized mathematics Diagrammatic representations Mathematical search and retrieval Deduction systems Math assistants, tutoring and assessment systems Mathematical OCR Inference of semantics for semi-formalized mathematics Digital libraries Authoring languages and tools MathML, OpenMath, and other mathematical content standards Web presentation of mathematics Data mining, discovery, theory exploration Computer Algebra Systems Collaboration tools for mathematics 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, University of Cambridge, Department of Chemistry, Cambridge, UK: TBA The programme will be arranged that all attendees of MKM can also attend the talks by the invited speakers of Calculemus: * Thomas Hales, University of Pittsburgh * John Harrison, Intel Inc. * Peter Paule, RISC-Linz SUBMISSION The deadline for submissions of titles and abstracts is 1 March 2007, for that of full papers is 4 March 2007. [Deadline extended!] Submitted papers should not exceed 15 pages, must be original and not submitted for publication. Submission is via EasyChair. All papers submitted to the Conference will be reviewed. For submission details see http://www.cs.bham.ac.uk/~mmk/events/MKM07/submission.php. PROCEEDINGS We we will publish the proceedings in the Springer-Verlag series Lecture Notes in Artificial Intelligence (LNAI). Authors of accepted papers are expected to present their work at the conference. IMPORTANT DATES (note the extended deadline) 1 March 2007: Deadline for electronic submissions of title and abstract 4 March 2007: Deadline for electronic submissions of full papers 2 April 2007: Notification of acceptance/rejection 13 April 2007: Camera ready copies due 27-30 June 2007: Conference at RISC, Hagenberg, Austria CONFERENCE CHAIR Wolfgang Windsteiger PROGRAMME CO-CHAIRS Manfred Kerber Robert Miner LOCAL ORGANIZER Laura Kovacs PROGRAM COMMITTEE: Andrea Asperti University of Bologna, Italy Laurent Bernardin Maplesoft, Canada Jonathan Borwein Dalhousie University, Canada Thierry Bouche Universite de Grenoble I, France Bruno Buchberger Johannes Kepler University, Linz, Austria Paul Cairns University College London, England Olga Caprotti University of Helsinki, Finland Bruce Char Drexel University, Philadelphia, USA Simon Colton Imperial College, London, England Mike Dewar Numerical Algorithms Group, England William Farmer McMaster University, Canada Herman Geuvers Radboud University Nijmegen, The Netherlands Tetsuo Ida University of Tsukuba, Japan Mateja Jamnik University of Cambridge, England Fairouz Kamareddine Heriot-Watt University, Scotland Manfred Kerber University of Birmingham, England (co-chair) Michael Kohlhase International University Bremen, Germany Paul Libbrecht DFKI Saarbruecken, Germany Robert Miner Design Science, USA (co-chair) Bengt Nordstrom Chalmers University of Technology, Sweden Ross Reedstrom Rice University, USA Eugenio Rocha Universidade de Aveiro, Portugal Alan Sexton University of Birmingham, England Andrzej Trybulec University of Bialystok, Poland Stephen Watt University Western Ontario, Canada Abdou Youssef George Washington University, USA RELATED LINKS http://www.mkm-ig.org http://www.risc.uni-linz.ac.at/about/conferences/Calculemus2007/ WORKSHOPS There will be affiliated workshops with the MKM and Calculemus conferences. If you are interested in organizing one, contact the co-chairs Manfred Kerber and Robert Miner at mkm07@cs.bham.ac.uk.