[Om] Reviving the OM Community
Moritz Schubotz
physik at physikerwelt.de
Tue Jul 19 19:42:36 CEST 2016
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" <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:
>>
>> 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/-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
> ----------------------------------------------------------------------
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://openmath.org/pipermail/om/attachments/20160719/9fb67c5d/attachment.html>
More information about the Om
mailing list