W3C home > Mailing lists > Public > www-math@w3.org > January 2007

Second Call for Papers MKM-2007 (Mathematical Knowledge Management)

From: <mkm07@cs.bham.ac.uk>
Date: 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
Message-Id: <E1H7UM0-0002me-00@sun13.bham.ac.uk>

[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.
Received on Friday, 19 January 2007 16:14:03 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 20 February 2010 06:12:59 GMT