And I. Sent from my iPhone
> On 16 Apr 2014, at 15:30, Lars Hellström <[email protected]> > wrote: > > Michael Kohlhase skrev 2014-04-16 10.56: >> Dear all, >> >> I would like to re-start the OM3 process -- I apologize for dropping the >> ball on this. But if we start now, we can have something to report until >> the OpenMath workshop in Coimbra. Could you please tell me if you are >> still interested in contributing to the process? > > Yes, I am still interested. > /Lars Hellström > > PS: Cc:ing [email protected] because my first mail to > [email protected] got bounced by > atlas2a.jacobs-university.de[212.201.44.15]. > >> The situation below is still accurate (including the OM3 mailing list). >> So, let's restart this. >> >> Michael >>> On 1.10.13 10:04, Michael Kohlhase wrote: >>> Dear all, >>> >>> the summer is over, and the dust of the new semester (for me) has >>> somewhat settled, so we should get on with our mandate to look at >>> extension of OM2, possibly with a view towards an OpenMath 3 standard. >>> I have attached JHD's meeting minutes; here are the relevant parts, >>> with my comments inline >>> >>>> MK listed some change suggestions. >>>> 1. Better r^ole system (MK/FR) >>>> 2. n-ary binders (see Hellstr ?om's second presentation) >>>> 3. first-class sequences (Horozal/Kohlhase) >>>> 4. first-class records (Kohlhase) >>>> 5. flexForm CDs >>>> 6. Notation Definitions >>>> 7. DefMPs >>>> 8. Document/develop CD writing tools (see Hellstr ?om's first >>> presentation) >>>> 9. Recognise Content MathML as an encoding. >>>> 10. Bug reports >>> >>> Some of these issues are already raised (and discussed in the TRAC at >>> http://trac.mathweb.org/OM3 I propose to just adopt the TRAC as an >>> open resource for discussion and planning. Everyone interested is >>> invited to make an account at >>> https://trac.mathweb.org/register/register and tell me the account >>> name (please no funny characters and blanks) and I will give you >>> permissions. I expect that we will have to clean up some obsolete >>> issues, and resolve the rest. Furthermore, we should collect all >>> change proposals out there and put them onto the TRAC, so that we can >>> work them off. >>> >>>> He therefore proposed a Standards Extension Committee, to meet and >>> deliver an opinion >>>> before the OpenMath Meeting 2014 (at CICM 2014 in Coimbra). This >>> proposal was carried. >>> >>>> DPC noted that MathML was proposed by W3C to be "elevated" to ISO >>> standards, with the >>>> process to start in 2013 already. This might impose some time >>> constraints, though it was >>>> not totally obvious precisely which these were at this stage. >>> >>>> Membership MK, DPC, JHD, LH, CL, CAR, JWK. the Committee was given >>> the power to co-opt. >>>> Working The Committee should work via an open mailing list, and >>> Skype calls. >>> >>> I had hoped that we could initialize this process using the >>> [email protected] but I am unsure about group membership, and I have >>> not heard from Jan Willem on the matter. So I am writing to you >>> individually and cross-posting to the list for archiving (see >>> http://openmath.org/pipermail/om3/). I suggest we keep this pattern >>> until the mailing list matter is resolved. >>> >>> I propose to announce that we have started work on the general OM >>> mailing list, and invite everyone to join the OM3 mailig list (or be >>> put onto the addressee list of this thread) and look at the TRAC or >>> the OM3 archives. Furthermore, we should invite people to make >>> standards enhancement proposals by posting to the TRAC (everyone >>> authenticated can do this). >>> >>> We should also have a kick-off skype meeting; would next week suit >>> (generally, I will set up a doodle). >>> >>> Michael >>> >>> >>> >>> >>> >>> >>> -- ---------------------------------------------------------------------- >>> 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: m.kohlhase [email protected] >>> http://kwarc.info/kohlhase >>> ---------------------------------------------------------------------- >>> >>> >>> _______________________________________________ >>> Om3 mailing list >>> [email protected] >>> http://openmath.org/mailman/listinfo/om3 > > > _______________________________________________ > Om3 mailing list > [email protected] > http://openmath.org/mailman/listinfo/om3 _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
