---

---

Objectives

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.

Schedule (tentative)

8:30–9:30

→ Invited Talk PLMMS (Jacques Carette)

9:30–9:40

Opening (Michael Kohlhase, Christoph Lange)

9:40–10:30

Contributed presentations:

• Christoph Lange: Towards OpenMath Content Dictionaries as Linked Data (slides)
• Please announce further contributions (talks of around 15 minutes) to the organizers!

10:30–11:00

Coffee break

11:00–11:30

Contributed presentations

11:30–12:30

OpenMath Society Business Meeting

Important Dates (all times are GMT)

Abstract submission

no formal deadline, but early indication is appreciated

Submission

June 18 (abstract-only submission also welcome)

Notification

June 25

Camera ready

July 2

Workshop

July 8 (morning)

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:

Besides usual papers (details below), we welcome the submission of abstracts. Abstracts will be reviewed less thoroughly than papers. If accepted for presentation at the workshop, they might get a shorter presentation slot. If the final paper following the abstract is of a sufficient quality, it will be included in the proceedings with the other accepted papers.

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

Submission categories:

Abstract-only (please indicate what category of paper will follow)
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

Proceedings

Electronic proceedings will be published on the OpenMath web site in time for the conference.

Committees

Programme Committee

• David Carlisle (NAG, UK)
• James Davenport (University of Bath, UK)
• Peter Horn (Kassel University, Germany)
• Jan Willem Knopper (Eindhoven Technical University, The Netherlands)
• Paul Libbrecht (DFKI Saarbrücken, Germany)
• Nikita Zhiltsov (Kazan Federal University, Russia)

Organising Committee

Michael Kohlhase	(Jacobs University Bremen, Germany)
Christoph Lange	(Jacobs University Bremen, Germany)

Comments/questions/inquiries: to be sent to: om2010 at easychair dot org.