[isabelle] MKM'08: Final Call for Papers · Archive Mirror: Isabelle Users Mailing List

Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] MKM'08: Final Call for Papers

Email Gateway (Aug 18 2022 at 11:35):

From: Serge.Autexier@dfki.de
[Please post - apologies for multiple copies]

MKM 2008

The Seventh International Conference on
MATHEMATICAL KNOWLEDGE MANAGEMENT

http://events.cs.bham.ac.uk/cicm08/mkm08/

28-30 July 2008 Birmingham, UK

FINAL CALL FOR PAPERS

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
knowledge.

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

PAPER SUBMISSIONS

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/conferences/?conf=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/conferences/?conf=mkm08

PROCEEDINGS

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

WORKSHOPS

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.

IMPORTANT DATES

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

PROGRAM COMMITTEE

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

CONFERENCE CHAIR

Volker Sorge University of Birmingham, England