Bertinoro, Italy July 20, 2011 co-located with CICM 2011 Continuous submission until July 10
With the release of the MathML 3 W3C recommendation, OpenMath enters a new phase of its development. Topics we expect to see at the workshop include
Feature Requests (Standard Enhancement Proposals) and Discussions for OpenMath3
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. For examples of contributions see the 22nd OpenMath Workshop of 2009.
Contributions can be either full research papers, Standard Enhancement Proposals, 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)
OpenMath 2011 does not have a submission deadline. Submissions will be accepted until July 10 and reviewed and notified continuously.
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.
Standard Enhancement Proposal: 1-12 LNCS pages (as appropriate w.r.t. the background knowledge required); a .zip or .tgz file of any related implementation (e.g. a Relax NG schema) should be attached.
Electronic proceedings will be published on the OpenMath web site in time for the conference.
James Davenport (The University of Bath)
Michael Kohlhase (Jacobs University Bremen, Germany)
Christoph Lange (Jacobs University Bremen, Germany)
Comments/questions/inquiries: to be sent to firstname.lastname@example.org