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.kohlh...@jacobs-university.de > <mailto:m.kohlh...@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/%7Epedro>>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.kohlh...@jacobs-university.de >>> <mailto:m.kohlh...@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.kohlh...@jacobs-university.de >>> <mailto:m.kohlh...@jacobs-university.de> http://kwarc.info/kohlhase >>> >>> ---------------------------------------------------------------------- >>> >>> >>> _______________________________________________ >>> Om mailing list >>> Om@openmath.org <mailto:Om@openmath.org> >>> http://openmath.org/mailman/listinfo/om >>> >>> >>> >>> >>> -- >>> Mit freundlichen Grüßen >>> Moritz Schubotz >>> >>> Telefon (Büro): +49 30 314 22784 <tel:%2B49%2030%20314%2022784> >>> Telefon (Privat):+49 30 488 27330 <tel:%2B49%2030%20488%2027330> >>> E-Mail: schub...@itp.physik.tu-berlin.de >>> <mailto:schub...@itp.physik.tu-berlin.de> >>> Web: http://www.physikerwelt.de >>> Skype: Schubi87 >>> ICQ: 200302764 >>> Msn: mor...@schubotz.de <mailto:mor...@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 <tel:%2B49%20421%20200-3140>/-493140 skype: >> mibein42 >> m.kohlh...@jacobs-university.de >> <mailto:m.kohlh...@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 <tel:%2B49%20421%20200-3140>/-493140 skype: > mibein42 > m.kohlh...@jacobs-university.de > <mailto:m.kohlh...@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.kohlh...@jacobs-university.de http://kwarc.info/kohlhase ----------------------------------------------------------------------
<<attachment: m_kohlhase.vcf>>
_______________________________________________ Om mailing list Om@openmath.org http://openmath.org/mailman/listinfo/om
