23rd OpenMath Workshop (paper due)

18 Jun 2010

http://cicm2010.cnam.fr/om/ Paris, France, 8th July 2010

With the development of MathML 3, OpenMath enters a new phase of its development. Topics we expect to see at the workshop include

  • Convergence of OpenMath and MathML 3;
  • Reasoning with OpenMath;
  • Software using or processing OpenMath;
  • New OpenMath Content Dictionaries;

though others related to OpenMath are certainly welcomed.

Contributions can be either full research papers, or a description of new Content Dictionaries, particularly ones that are suggested for formal adoption by the OpenMath Society.

Important Dates (all times are GMT)

  • Abstract submission: no formal deadline, but early indication is appreciated
  • Submission: June 18
  • Notification: June 25
  • Camera ready: July 2


Every submission will refereed by three PC members on the basis of technical quality, novelty, potential impact for the future of OpenMath, and clarity.

Submission format:

Papers must conform to the Springer LNCS style, preferably using LaTeX2e and the Springer llncs class files.

Submission categories:

  • Full paper: 4-12 LNCS pages
  • Short paper: 1-8 LNCS pages
  • CD description: 1-8 LNCS pages; a .zip or .tgz file of the CDs should be attached.

Submission upload: Via Easychair conference system by June 18: http://www.easychair.org/conferences?conf=om2010