[Om] Reviving the OM Community

Wed Jul 20 15:50:37 CEST 2016

Hallo Michael,

hier das XML Snippet:
  <talk id="" type="openmath"  time="15:10-15:20" >
    <authors>
      <a href="http://moritzschubotz.de/">Moritz Schubotz</a>
    </authors>
    <title>
      Implicit Content Dictories in the NIST Digital Repository of
Mathematical Formulae
    </title>
    <url>http://drmf.wmflabs.org/wiki/Main_Page</url>
  </talk>
  <talk id="" type="openmath"  time="15:20-15:30" >
    <authors>
      <a href="http://moritzschubotz.de/">Moritz Schubotz</a>
    </authors>
    <title>
      Displaying formulae in Wikimedias central structured data storage Wikidata
    </title>
    <url>https://www.wikidata.org/wiki/Wikidata:WikiProject_Mathematics</url>
  </talk>

On Tue, Jul 19, 2016 at 7:47 PM, Michael Kohlhase
<m.kohlhase at jacobs-university.de> wrote:
> ja, das verstehe ich. Ich habe schon mal einen ersatz gemacht.
>
> Michael
>
>
> On 19/07/16 19:42, Moritz Schubotz wrote:
>
> Hi Michal,
>
> Gerne. Mach ich morgen ... Vom Handy ist das nicht so einfach.
>
> Moritz
>
>
> On Jul 19, 2016 19:08, "Michael Kohlhase" <m.kohlhase at jacobs-university.de>
> wrote:
>>
>> Lieber Moritz,
>>
>> k"onntest Du mir XML-Eintraege machen f"ur die beiden talks?
>>
>>   <!-- example
>>   <talk id="" type="openmath"  time="15:00-15:25" >
>>     <authors>
>>       <a href="http://www.mat.uc.pt/~pedro">Pedro Quaresma</a>,
>>       Vanda Santos and Seifeddine Bouallegue
>>     </authors>
>>     <title>
>>       The Web Geometry Laboratory Project
>>     </title>
>>     <url>http://arxiv.org/abs/1207.2892</url>
>>   </talk>
>>   -->
>>
>>
>> On 14/07/16 15:08, Michael Kohlhase wrote:
>>
>> 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> 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:
>>>
>>> there are a couple of large-scale projects that center around combining
>>> computer algebra systems (see e.g. [1] and [2]).
>>> MathML is making inroads on the browsers again (see e.g. [3], [5])
>>> We have  Math Search Engines based on presentation and content Math, even
>>> competitions [4]
>>> There is an effort from inside math to build a World Digital Library of
>>> Mathematics [7] with a semantic layer [6]
>>> ... 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:
>>>
>>> revive the organization (in particular the Executive Committee; see [8])
>>> think/discuss about extensions of OpenMath, e.g. (from memory)
>>>
>>> recognize content MathML as an official OpenMath encoding (legitimized by
>>> MathML3)
>>> are there new OM constructors we need (records, sequence variables, ...)
>>> how about a notation system
>>> DefMPs in OM CDs,
>>> ... your extension here ...
>>>
>>> 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:
>>>
>>> Michael Kohlhase (President)
>>> James Davenport (Vice President)
>>> Florian Rabe (Secretary)
>>> Patrick Ion (MathML liaison)
>>> 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/-493140  skype: mibein42
>>>  m.kohlhase at jacobs-university.de http://kwarc.info/kohlhase
>>> ----------------------------------------------------------------------
>>>
>>>
>>> _______________________________________________
>>> Om mailing list
>>> 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
>>   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
>> ----------------------------------------------------------------------
>>
>>
>> --
>> ----------------------------------------------------------------------
>>  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
>> ----------------------------------------------------------------------
>
>
> --
> ----------------------------------------------------------------------
>  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
> ----------------------------------------------------------------------

-- 
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
  Web: http://www.physikerwelt.de
  Skype: Schubi87
  ICQ: 200302764
  Msn: Moritz at Schubotz.de