<html>
  <head>
    <meta http-equiv="content-type" content="text/html; charset=utf-8">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <p>Dear OpenMath community, <br>
    </p>
    <p>we would like to revive the OpenMath effort and community, which
      has been largely dormant over the last years. <br>
    </p>
    <p>Rather than reviewing the past, we should see why we should
      revive the community: <br>
    </p>
    <ol>
      <li>there are a couple of large-scale projects that center around
        combining computer algebra systems (see e.g. [1] and [2]). <br>
      </li>
      <li>MathML is making inroads on the browsers again (see e.g. [3],
        [5])</li>
      <li>We haveĀ  Math Search Engines based on presentation and content
        Math, even competitions [4]</li>
      <li>There is an effort from inside math to build a World Digital
        Library of Mathematics [7] with a semantic layer [6]<br>
      </li>
      <li>... your reasons here, please communicate them ... <br>
      </li>
    </ol>
    <p>We are writing this message now, since we will have an OpenMath
      Workshop at CICM in Bialystok on July 25. This is the first
      opportunity to do something about reviving OpenMath. As the group
      of people that will meet there is very small, we would like to
      discuss the issues with the community beforehand (sorry for
      bringing this up relatively late, but most discussions do not last
      longer than two weeks anyway). And we will try to organize remote
      participation in the workshop. <br>
    </p>
    <p>We see three things we need to do: <br>
    </p>
    <ol>
      <li>revive the organization (in particular the Executive
        Committee; see [8])</li>
      <li>think/discuss about extensions of OpenMath, e.g. (from memory)<br>
      </li>
      <ol>
        <li>recognize content MathML as an official OpenMath encoding
          (legitimized by MathML3)</li>
        <li>are there new OM constructors we need (records, sequence
          variables, ...) <br>
        </li>
        <li>how about a notation system</li>
        <li>DefMPs in OM CDs, <br>
        </li>
        <li>... your extension here ... <br>
        </li>
      </ol>
      <li>think/discuss about other levels of content Math communication
        based on OpenMath (e.g. SCSCP for remote procedure calls)</li>
    </ol>
    <p>We will discuss all of these (and any you suggest) on the OM
      workshop. The first one is especially important, as the general
      assembly (we will have one at the workshop) can elect the EC (see
      [9]). We propose the following new roster: <br>
    </p>
    <ol>
      <li>Michael Kohlhase (President) <br>
      </li>
      <li>James Davenport (Vice President) <br>
      </li>
      <li>Florian Rabe (Secretary) <br>
      </li>
      <li>Patrick Ion (MathML liaison)</li>
      <li>Alex Konovalov (Member at Large) <br>
      </li>
    </ol>
    Please give us feedback on this - privately to James and Michael if
    necessary. We will bring your concerns into the general assembly to
    inform the decisions. <br>
    <br>
    Best, <br>
    <br>
    James & Michael <br>
    <p><br>
    </p>
    <p>[1] <a class="moz-txt-link-freetext"
        href="http://opendreamkit.org/activities/2016-06-30-OM_in_ODK/">http://opendreamkit.org/activities/2016-06-30-OM_in_ODK/</a><br>
      [2] <a class="moz-txt-link-freetext"
        href="http://www.computeralgebra.de/">http://www.computeralgebra.de/</a><br>
      [3] <a class="moz-txt-link-freetext"
        href="http://frederic-wang.fr/mathml-improvements-in-webkit.html">http://frederic-wang.fr/mathml-improvements-in-webkit.html</a><br>
      [4] <a class="moz-txt-link-freetext"
        href="http://ntcir-math.nii.ac.jp/">http://ntcir-math.nii.ac.jp/</a><br>
      [5] <a class="moz-txt-link-freetext"
        href="http://mathml-association.org/">http://mathml-association.org/</a><br>
      [6] <a class="moz-txt-link-freetext"
        href="http://mathontheweb.org/gdml/IMKT-Charter-final.pdf">http://mathontheweb.org/gdml/IMKT-Charter-final.pdf</a><br>
      [7] <a class="moz-txt-link-freetext"
href="http://imkt.org/Activities/SemanticMathematics/Workshops/2016-02-03-Fields/index.html">http://imkt.org/Activities/SemanticMathematics/Workshops/2016-02-03-Fields/index.html</a><br>
      [8] <a class="moz-txt-link-freetext"
        href="http://www.openmath.org/society/board.html">http://www.openmath.org/society/board.html</a><br>
      [9] <a class="moz-txt-link-freetext"
        href="http://www.openmath.org/society/statutes.html">http://www.openmath.org/society/statutes.html</a><br>
    </p>
    <p><br>
    </p>
    <p><br>
    </p>
    <p><br>
    </p>
    <br>
    <pre class="moz-signature" cols="72">-- 
----------------------------------------------------------------------
 Prof. Dr. Michael Kohlhase,        Office: Research 1, Room 168
 Professor of Computer Science  Campus Ring 1, 
 Jacobs University Bremen           D-28759 Bremen, Germany
 tel/fax: +49 421 200-3140/-493140  skype: mibein42
 <a class="moz-txt-link-abbreviated" href="mailto:m.kohlhase@jacobs-university.de">m.kohlhase@jacobs-university.de</a> <a class="moz-txt-link-freetext" href="http://kwarc.info/kohlhase">http://kwarc.info/kohlhase</a> 
----------------------------------------------------------------------
</pre>
  </body>
</html>