[Om3] Initializing OM3 at 2013 Process

[Professor James Davenport]

And I. 

Sent from my iPhone

> On 16 Apr 2014, at 15:30, Lars Hellström <Lars.Hellstrom at residenset.net> 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 om3 at openmath.org because my first mail to m.kohlhase at jacobs-university.de 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
>>> om3 at openmath.org 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 m.kohlhase at jacobs-university.de
>>> http://kwarc.info/kohlhase
>>> ----------------------------------------------------------------------
>>> 
>>> 
>>> _______________________________________________
>>> Om3 mailing list
>>> Om3 at openmath.org
>>> http://openmath.org/mailman/listinfo/om3
> 
> 
> _______________________________________________
> Om3 mailing list
> Om3 at openmath.org
> http://openmath.org/mailman/listinfo/om3