posted by organizer: clange || 3230 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

DEVIANCE 2021   Workshop on Deviant Activities on Social Media Co-located with 2021 IEEE Conference on Big Data (IEEE BigData 2021)
DMA 2022   8th International Conference on Data Mining and Applications
CLEOPATRA 2022   3rd International Workshop on Cross-lingual Event-centric Open Analytics, co-located with The WebConf (WWW)
ECTIJ 2021   Economics, Commerce and Trade Management: An International Journal
MUWS 2022   The 1st International Workshop on Multimodal Understanding for the Web and Social Media, co-located with The WebConf (WWW)
ICMAI--SCI, Ei Compendex, Scopus 2022   2022 7th International Conference on Mathematics and Artificial Intelligence (ICMAI 2022)--SCI, Ei Compendex, Scopus
AutoSec 2022   4th International Workshop on Automotive and Autonomous Vehicle Security (AutoSec 2022) co-located with NDSS 2022
IJCGA 2021   International Journal of Computer Graphics & Animation
WD2P2 2022   International Workshop on Web 3.0 and Decentralised Data Processing and Storage Platforms (co-located with PerCom 2022)
SHIFT & IWSF 2021   SHIFT & IWSF Workshop 2021 co-located with ISSRE 2021