posted by organizer: clange || 3511 views || tracked by 8 users: [display]

OpenMath 2013 : 25th OpenMath Workshop (co-located with CICM)


When Jul 10, 2013 - Jul 10, 2013
Where Bath, UK
Submission Deadline Jun 7, 2013
Notification Due Jun 20, 2013
Final Version Due Jul 5, 2013
Categories    mathematics   semantic web   knowledge representation   symbolic computation

Call For Papers


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

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

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 "anywhere on earth")

* 7 June: Submission
* 20 June: Notification of acceptance or rejection
* 5 July: Final revised papers due
* 10 July: Workshop


Submission is via EasyChair
( Final papers
must conform to the EasyChair LaTeX style. Initial submissions in
this format are welcome but not mandatory – but they should be in PDF
and within the given limit of pages/words.

Submission categories:

* Full paper: 5–10 EasyChair pages
* Short paper: 1–4 EasyChair pages
* CD description: 1-6 EasyChair pages; a .zip or .tgz file of the
CDs must be attached, or a link to the CD provided.
* Standard Enhancement Proposal: 1-10 EasyChair 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.

If not in EasyChair format, 500 words count as one page.


Electronic proceedings will be published with


* Christoph Lange (University of Birmingham, UK)
* James Davenport (University of Bath, UK)
* Michael Kohlhase (Jacobs University Bremen, Germany)


* Lars Hellström (Umeå Universitet, Sweden)
* Jan Willem Knopper (Technische Universiteit Eindhoven, Netherlands)
* Paul Libbrecht (Center for Educational Research in Mathematics
and Technology, Martin-Luther-University Halle-Wittenberg)
(to be completed)

Comments/questions/enquiries: to be sent to

Related Resources

MULTI 2023   10th International Workshop on Multi-Level Modeling, co-located with MODELS 2023
CFMAI 2023   2023 5th International Conference on Frontiers of Mathematics and Artificial Intelligence (CFMAI 2023)
CONASENSE 2023   13th CONASENSE Workshop – co-located with IEEE WPMC2023
ISCAI 2023   2023 5th International Symposium on Computing and Artificial Intelligence (ISCAI 2023)
SWEET 2023   2nd International Workshop on the Semantic WEb of EveryThing - co-located with ICWE 2023
SIPR 2023   9th International Conference on Signal Processing and Pattern Recognition
VR4Exergame 2023   IEEE VR 2023 Workshop on VR for Exergaming (co-located with IEEE VR 2023)
IJWesT 2023   International Journal of Web & Semantic Technology
SPIVW 2023   IEEE VR 2023 Workshop on Security and Privacy for Immersive Virtual Worlds (co-located with IEEE VR 2023)
SIPR 2023   9th International Conference on Signal Processing and Pattern Recognition