31^th OpenMath Workshop

CANCELLED

at CICM 2023

OpenMath is a language for exchanging mathematical formulae across applications (such as computer algebra systems). From 2010 its importance has increased in that OpenMath Content Dictionaries were adopted as a foundation of the MathML 3 W3C recommendation, the standard for mathematical formulae on the Web.

Program

Topics we expect to see at the workshop include

• Feature Requests (Standard Enhancement Proposals) and Discussions for going beyond OpenMath 2;
• Further convergence of OpenMath and MathML 3;
• Reasoning with OpenMath;
• OpenMath on the Semantic Web;
• New OpenMath Content Dictionaries;
• Software using or processing OpenMath;

though others related to OpenMath are certainly welcomed. For examples of contributions see the previous OpenMath workshops of 2009, 2010, 2012, 2013, 2014, 2015, 2016. 2017, 2018, 2019,

Contributions can be either research papers, description of new Content Dictionaries, particularly ones that are suggested for formal review and adoption by the OpenMath Society, or standard enhancement proposals.

Organizers & Programme Committee

• James Davenport, Bath, UK (co-chair)
• Michael Kohlhase, FAU Erlangen-Nürnberg, Germany (co-chair)