OpenMath

31st OpenMath Workshop

2021-07-30T00:00:00+00:00

The 31st OpenMath Workshop was held July 30, 2021 at CICM 2021 online.

30th OpenMath Workshop

2019-07-13T00:00:00+00:00

The 30th OpenMath Workshop was held July 10. 2019 at CICM 2019 in Prague.

The business meeting (minutes intituted a new JSON binding for OpenMath, canonized a Wiki Math community group and chartered an OpenMath redesign based on an initial design presented by Florian Rabe on the workshop.

OMCD Task Force mandated

2018-08-13T00:00:00+00:00

The August 2018 Business meeting of the OpenMath Society in Hagenberg mandated a Task force for OpenMath CD changes. It initially econsists of James Davenport, Michael Kohlhase, Florian Rabe, Lars Hellström, Moritz Schuboltz, Bruce Miller, and Jan Willem Knopper, further participants are welcome. The current set of issues under consideration can be extended by adding a new issue and labeling it “OMCD18”.

29th OpenMath Workshop

2018-06-12T00:00:00+00:00

The 29th OpenMath Workshop will be held August 13. 2018 at CICM 2018 Hagenberg, Austria.

New OpenMath website

2018-03-21T00:00:00+00:00

The new OpenMath website is online. It is statically generated by Jekyll based on the HTML and Markdown sources in the repository https://github.com/OpenMath/OpenMath.github.io and can be edited and maintained by the usual Git workflows.

Thanks to this, an outside OpenMath enthusiast already submitted a couple of pull requests fixing typos in the website. We hope such community involvement will continue.

Working towards Revision 2 of the OpenMath 2 Standard

2017-10-07T00:00:00+00:00

In the last weeks we have earnestly begun working on OM2 revision 2.

Our goal for this is to get in as many error fixes and clarifications that have been noticed over the years as possible, as long as we can consider them to be within the bounds of “what was intended at the time”.

We have so far

dusted off the build processes and the publishing process to the new web site (thanks a lot, David)
triaged all the issues from the OM3 process a few years back into GitHub OMSTD issues and [CDs issues]http://github.com/OpenMath/CDs/issues).
already taken care of some of them, some outright, though some are still pull requests that need feedback.
formed an editorial board for OM2r2: David Carlisle, James Davenport, Patrick Ion, and myself, there has not been a separate mandate from the community on this, but the SC hopes that you agree.

With all this (and we state so in the repositories) we have the beginning of a much more transparent and open process of development of the OM standard and CDs.

Here are some principles for the evolution of OpenMath:

We aim to get OM2r2 approved by the next OM workshop, until which time it is an editor’s draft
We want to the OM community to mention gripes, raise issues, and contribute pull requests as OMSTD issues or [CDs issues]http://github.com/OpenMath/CDs/issues).
also, any feedback on the process is welcome.

Follow OpenMath on Twitter

2017-10-04T00:00:00+00:00

We have set up a Twitter account for the OpenMath Society. If you use Twitter, follow @OpenMathSoc. Otherwise, you may view OpenMath tweets using your browser here.

New online validation tool for OpenMath files and CDs

2017-08-11T00:00:00+00:00

An experimental online validator (using custom JavaScript, not the normative schema) has been made available on the OpenMath website. Files can be uploaded by drag and drop if that is supported by your browser, or the XML text may may be entered into the text box supplied.

Note all validation is implemented in JavaScript and run in your local browser, no files are uploaded to the OpenMath server by this tool.

The OpenMath Standard on GitHub

2017-07-04T00:00:00+00:00

The OpenMath Busniness Meeting in July 2016 decided that we need a revision of the OpenMath Standard e.g. to make content MathML an official OpenMath encoding, to clarify the role of XML 1.1 and the licensing of the OpenMath Standard Document, …

In the process of developing these, we opened a GitHub repository for the (current) OpenMath Standard to allow controlled and transparent standard development (issues, tracking changes, … ). David Carlisle completely reworked and updated the standard presentation workflow and automated it via GitHub’s continuous integration facility (travis), the results are automatically pushed to the OpenMath web site (new) (as an “editor’s draft”).

We intend to decide on the new revision on the OpenMath Society Business Meeting at the OpenMath Workshp in Edinburgh on July 17.

Recent Minutes of the OpenMath Business Meetings online

2017-06-20T00:00:00+00:00

They can be found here.

Alpha Version of the new OpenMath Web Site online

2017-06-09T00:00:00+00:00

On the 2016 OpenMath workshop we decided that we would relaunch the OpenMath Web Site. Today we have released the alpha version to the OpenMath Community for inspection: http://openmath.github.io. It is statically generated by jekyll based on the html and markdown sources in the repository https://github.com/OpenMath/OpenMath.github.io and can be edited/maintained by the usual git workflows.

We plan to go live with the page at the OpenMath workshop in Edinburgh end of July.

28th OpenMath Workshop

2017-06-01T00:00:00+00:00

The 28th OpenMath Workshop will be held July 17. 2017 at CICM 2017 in Edinburgh, Scotland.

New Repository and Submission Process for OpenMath CDs

2017-05-31T00:00:00+00:00

In the ongoing renovation of the OpenMath web site and digital infrastructure, we have created a new GitHub repository for OpenMath content dictionaries: https://github.com/OpenMath/CDs

New CDs can be contributed simply by a merge request and the GitHub issue tracker can be used for comments and CD requests. See the repository README for details.

OpenMath Domain Problem resolved

2017-04-17T00:00:00+00:00

With the passing of Mika Sepälä - founder and long-time president, the OpenMath Society essentially lost control over the domain openmath.org, whiich Mika had registered in his name via Florida State University at Talahassee. This is a non-trivial “legacy problem”, which could have cost OpenMath its established Web presence.

Working closely with FSU officials (thanks are due to Mikey Boyd for his help), James Davenport has managed to resolve the problem and re-gain control over the domain, which now has multiple contacts who can administer the registration.

OpenMath.org site based on gh-pages

2016-07-01T00:00:00+00:00

We have the beginnings of a new OpenMath web site based on github pages.

27th OpenMath Workshop

2016-04-12T00:00:00+00:00

The 27th OpenMath Workshop will be held July 25/29 2016 aside of CICM 2016 in Bialystok, PL.

26th OpenMath Workshop

2014-04-19T00:00:00+00:00

The 26th OpenMath Workshop wil be held July 7th 2014 aside of CICM 2014 in Coimbra, PT

27th OpenMath Workshop

2013-04-19T00:00:00+00:00

Announcing the OpenMath Workshop 2013 (to happen July 10th 2013 aside of CICM 2013 in Bath, UK): Submission deadline: June 7th. Submission formats: full paper, short paper, content dictionary, standard enhancement proposal.