[Om] The OM2r2 (Revision 2 of the OpenMath 2 standard) process

Michael Kohlhase michael.kohlhase at fau.de
Sun Oct 8 07:16:33 CEST 2017

Dear all,

You may have seen, we have earnestly begun working on OM2 revision
2 in recent weeks.

My 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

1. separated the OM2 standard and the CDs into GitHub repositories of
   their own [1,2]
2. dusted off the build processes and the publishing process to the new
   web site (thanks a lot, David)
3. triaged all the issues from the OM3 process a few years back into
   OMSTD and CDs issues.
4. already taken care of some of them, some outright, though some are
   still pull requests that need feedback.
5. 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 we are communicating this to you,
OM community.

Here are some principles for the evolution of OpenMath:

1. We aim to get OM2r2 approved by the next OM workshop, until
   which time it is an editor's draft, see [3].
2. We want to the OM community to mention gripes, raise issues, and
   contribute pull requests to [1,2].
3. also, any feedback on the process is welcome. 


[1] http://github.com/Openmath/CDs
[2] http://github.com/OpenMath/OMSTD
[3] https://openmath.github.io/standard/om20-editors-draft/

Prof. Dr. Michael Kohlhase,  http://kwarc.info/kohlhase, skype: mibein42

Professur für Wissensrepräsentation & -verarbeitung
  Informatik, FAU Erlangen Nürnberg, Martensstr. 3, D-91058 Erlangen, Room 11.139,
  tel/fax: (49) 9131-85-64052/55, michael.kohlhase at fau.de 

More information about the Om mailing list