[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] MKM'08: Second Call for Papers

[Please post - apologies for multiple copies]

				 MKM 2008

		  The Seventh International Conference on


		      28-30 July 2008 Birmingham, UK


Mathematical   Knowledge   Management  is   an    innovative field  at  the
intersection of  mathematics,  computer   science,   library science,   and
scientific publishing.  Its  development is driven by  on the  one hand new
technological   possibilities which  computer   science, the  Internet, and
intelligent  knowledge  processing  offer, and   on   the other  hand   the
increasing  demand   by engineers and scientists    for new  techniques for
producing, transmitting, consuming, and managing sophisticated mathematical

The  conference  is concerned with   all  aspects of mathematical knowledge
management. Topics covered include, but are not limited to:

 Representations of mathematical knowledge
 Repositories of formalized mathematics
 Mathematical digital libraries
 Diagrammatic representations
 Multi-modal representations
 Mathematical OCR
 Mathematical search and retrieval
 Deduction systems
 Math assistants, tutoring and assessment systems
 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
 Challenges and Solutions for Mathematical workflows


 All papers  submitted to the Conference will  be  reviewed.  Submission is
 electronic  in Postscript  or     PDF  format via  the   EasyChair  system
 (http://www.easychair.org/MKM08).   Submitted  papers must  conform to the
 Springer LNCS style, preferably using LaTeX2e and the Springer llncs class
 files available at  http://www.springer.com/lncs.  Submitted papers should
 not exceed 15 pages, must be original and not submitted for publication.
 Submission website: http://www.easychair.org/MKM08


The conference proceedings will  be published in the Springer-Verlag series
Lecture Notes in Artificial Intelligence (LNAI).


The following workshops take place in conjunction with MKM 2008: 

 * The  "Mathematical User-Interfaces" Workshop 2008  (MathUI08),  which is
   organized by Paul Libbrecht.

 * The  Workshop  "Towards  Future Digital Mathematics Libraries", which is 
   organized by Petr Sojka.


 Submission of title and abstract:         March  7, 2008
 Submission of full papers:                March 14, 2008
 Notification:                             May  2, 2008
 Camera ready version:                     May 16, 2008
 Conference in Birmingham:                 July 28-30, 2008


 Andrea Asperti             University of Bologna, Italy
 Serge Autexier (Co-Chair)  DFKI Saarbruecken & Saarland University., Germany
 Laurent Bernardin          Maplesoft, Canada
 Thierry Bouche             Universite de Grenoble I, France
 Paul Cairns                University College London, England
 Olga Caprotti              University of Helsinki, Finland
 Simon Colton               Imperial College, London, England
 Mike Dewar                 NAG Ltd., England
 William Farmer             McMaster University, Hamilton, Canada
 Herman Geuvers             Radboud University Nijmegen, The Netherlands
 Eberhard Hilf              Inst. for Science Networking Oldenburg, Germany
 Tetsuo Ida                 University of Tsukuba, Japan
 Mateja Jamnik              University of Cambridge, England
 Fairouz Kamareddine        Heriot-Watt University, Scotland
 Manfred Kerber             University of Birmingham, England
 Michael Kohlhase           Jacobs University Bremen, Germany
 Paul Libbrecht             DFKI Saarbruecken, Germany
 Bruce Miller               NIST, USA
 Robert Miner               Design Science, Inc., USA
 Bengt Nordstroem           Chalmers University of Technology, Sweden
 Eugenio Rocha              University of Aveiro, Portugal
 Alan Sexton                University of Birmingham, England
 Petr Sojka                 Masaryk University, Brno, CZ
 Volker Sorge               University of Birmingham, England
 Masakazu Suzuki (Co-Chair) Kyushu University, Japan
 Andrzej Trybulec           University of Bialystok, Poland 
 Stephen Watt 		    The University of Western Ontario, Canada
 Abdou Youssef              George Washington University, Washington DC, USA


 Volker Sorge               University of Birmingham, England


 MKM IG         http://www.mkm-ig.org/ 
 Calculemus'08  http://events.cs.bham.ac.uk/cicm08/calculemus08/
 AISC'08        http://events.cs.bham.ac.uk/cicm08/aisc08/
 CICM'08        http://events.cs.bham.ac.uk/cicm08

Serge Autexier                       Tel:    +49-681-302-2133
DFKI GmbH &                          Fax:    +49-681-302-5076
Informatics, Saarland University   Email:    autexier@dfki.de 
66123 Saarbruecken                   WWW: www.dfki.de/~serge/