23rd OpenMath Workshop (paper due)

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

Submissions

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