[Conference] Call for Papers and Workshops: Mathematical KM, July 2008, Birmingham, UK

[German title: [Konferenz] Aufruf für Artikel- und Workshop-Beiträge: Mathematical KM, Juli 2008, Birmingham, GB (Translate text to: Deutsch)]

MKM 2008 – The Seventh International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT, 28-30 July 2008, Birmingham, UK

Submission of title and abstract: March  7, 2008


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


  • 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

For further information go to the conference web site.

Leave a Reply

Your email address will not be published. Required fields are marked *