[Om] Reviving the OM Community

[Michael Kohlhase]

Sehr gut, wie lange brauchst Du daf"ur? Kurz w"are gut.

Michael


On 14/07/16 12:05, Moritz Schubotz wrote:
> Hi Michael,
>
> thank you for starting that conversation.
> I have two projects that I would like to report about at the next OM
> Meeting, DRMF [1] and Math Support for Wikidata [2].
>
> Best
> Moritz
> [1] http://drmf.wmflabs.org/wiki/Main_Page
> [2] See for example https://www.wikidata.org/wiki/Q35875
>
> On Thu, Jul 14, 2016 at 11:06 AM, Michael Kohlhase
> <m.kohlhase at jacobs-university.de
> <mailto:m.kohlhase at jacobs-university.de>> wrote:
>
>     Dear OpenMath community,
>
>     we would like to revive the OpenMath effort and community, which
>     has been largely dormant over the last years.
>
>     Rather than reviewing the past, we should see why we should revive
>     the community:
>
>      1. there are a couple of large-scale projects that center around
>         combining computer algebra systems (see e.g. [1] and [2]).
>      2. MathML is making inroads on the browsers again (see e.g. [3], [5])
>      3. We have  Math Search Engines based on presentation and content
>         Math, even competitions [4]
>      4. There is an effort from inside math to build a World Digital
>         Library of Mathematics [7] with a semantic layer [6]
>      5. ... your reasons here, please communicate them ...
>
>     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.
>
>     We see three things we need to do:
>
>      1. revive the organization (in particular the Executive
>         Committee; see [8])
>      2. think/discuss about extensions of OpenMath, e.g. (from memory)
>          1. recognize content MathML as an official OpenMath encoding
>             (legitimized by MathML3)
>          2. are there new OM constructors we need (records, sequence
>             variables, ...)
>          3. how about a notation system
>          4. DefMPs in OM CDs,
>          5. ... your extension here ...
>      3. think/discuss about other levels of content Math communication
>         based on OpenMath (e.g. SCSCP for remote procedure calls)
>
>     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:
>
>      1. Michael Kohlhase (President)
>      2. James Davenport (Vice President)
>      3. Florian Rabe (Secretary)
>      4. Patrick Ion (MathML liaison)
>      5. Alex Konovalov (Member at Large)
>
>     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.
>
>     Best,
>
>     James & Michael
>
>
>     [1] http://opendreamkit.org/activities/2016-06-30-OM_in_ODK/
>     [2] http://www.computeralgebra.de/
>     [3] http://frederic-wang.fr/mathml-improvements-in-webkit.html
>     [4] http://ntcir-math.nii.ac.jp/
>     [5] http://mathml-association.org/
>     [6] http://mathontheweb.org/gdml/IMKT-Charter-final.pdf
>     [7]
>     http://imkt.org/Activities/SemanticMathematics/Workshops/2016-02-03-Fields/index.html
>     [8] http://www.openmath.org/society/board.html
>     [9] http://www.openmath.org/society/statutes.html
>
>
>
>
>
>     -- 
>     ----------------------------------------------------------------------
>      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 <tel:%2B49%20421%20200-3140>/-493140  skype: mibein42
>      m.kohlhase at jacobs-university.de
>     <mailto:m.kohlhase at jacobs-university.de> http://kwarc.info/kohlhase 
>     ----------------------------------------------------------------------
>
>
>     _______________________________________________
>     Om mailing list
>     Om at openmath.org <mailto:Om at openmath.org>
>     http://openmath.org/mailman/listinfo/om
>
>
>
>
> -- 
> Mit freundlichen Grüßen
> Moritz Schubotz
>
>   Telefon (Büro):  +49 30 314 22784
>   Telefon (Privat):+49 30 488 27330
>   E-Mail: schubotz at itp.physik.tu-berlin.de
> <mailto:schubotz at itp.physik.tu-berlin.de>
>   Web: http://www.physikerwelt.de
>   Skype: Schubi87
>   ICQ: 200302764
>   Msn: Moritz at Schubotz.de

-- 
----------------------------------------------------------------------
 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
 m.kohlhase at jacobs-university.de http://kwarc.info/kohlhase 
----------------------------------------------------------------------

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://openmath.org/pipermail/om/attachments/20160714/c91a1dd4/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: m_kohlhase.vcf
Type: text/x-vcard
Size: 141 bytes
Desc: not available
URL: <http://openmath.org/pipermail/om/attachments/20160714/c91a1dd4/attachment-0001.vcf>