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 > <[email protected] > <mailto:[email protected]>> 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 > [email protected] > <mailto:[email protected]> http://kwarc.info/kohlhase > ---------------------------------------------------------------------- > > > _______________________________________________ > Om mailing list > [email protected] <mailto:[email protected]> > 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: [email protected] > <mailto:[email protected]> > Web: http://www.physikerwelt.de > Skype: Schubi87 > ICQ: 200302764 > Msn: [email protected] -- ---------------------------------------------------------------------- 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 [email protected] http://kwarc.info/kohlhase ----------------------------------------------------------------------
<<attachment: m_kohlhase.vcf>>
_______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
