31th OpenMath Workshop
at CICM 2021
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.
Topics we expect to see at the workshop include
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.
Important Dates (all times are "anywhere on earth")
Submission is continuous via easychair: select the author role, select the "new submission" tab, and choose OpenMath. Submissions will be refereed by the Organizers within one week.
Authors should prepare their papers in one column style of CEUR-WS for the final version and without page numbers. See http://ceur-ws.org/Vol-XXX/samplestyles/ for an example: paper1.tex and paper1.pdf.
Electronic proceedings will be most probably published CEUR-WS.org
Organizers & Programme Committee
14th Conference on Intelligent Computer Mathematics
July 26 - 31, 2021
- Proceedings available online until 27 July at this link
- Preliminary programme published
- Cfp third round
- Deadlines extended
- Cfp second round
- Springer LNAI proceedings confirmed
- Cfp first round
- Dates online
- Calls online
- Invited speakers
- PC online
- Initial website online