Hello all, Hope you had good summers.
This week would be possible for me any day except Friday. After that I am in Japan for one month and net access may not be so regular. A long time ago I looked at the TRAC and guessed that most of it must be stuff that was either long dealt with or now irrelevant. It might be useful for those of us who submitted reports way back to check those in case there is anything that needs reconsideration now, these will be in the unassigned section. Are we planning to have a proper mailing list? Thanks, chris Sent from my iPud (\~/) > On 1 Oct 2013, at 14:51, Michael Kohlhase <[email protected]> > wrote: > > >> On 1.10.13 09:47, James Davenport wrote: >> Thanks for this. >> Quoting Michael Kohlhase <[email protected]>: >> >>> 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 >> Manybe this should replace the ld text at the start of the TRAC, not least >> since "last year" is bound to 2010 not 2012. > Yes, that is correct, I was just looking at the TRAC, the text needs to be > renovated, but the contents (and the proposed process for that matter) can be > re-used. >>> [...] >>> 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 >> That may be true, but it's hard to find. Can you start a meta-ticket with >> cross-references to the relevant items? > that is a good idea. But I am amazed at the things that are still on the > TRAC. I still have to grock all of them. >>> 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. >> I have an account (jhd). > you already have developer permissions from last time. > > Michael >>>> 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. >>> >>> We should also have a kick-off skype meeting; would next week suit >>> (generally, I will set up a doodle). >> Yes, but not Wednesday. >> >> >> James Davenport >> Hebron & Medlock Professor of Information Technology, >> University of Bath >> OpenMath Content Dictionary Editor >> Director of Studies EPSRC Doctoral Taught Course Centre for HPC >> IMU Committee on Electronic Information and Communication >> Trustee, Council and Engineering & Science Board, British Computer Society >> SW Coordinator, Computing at School Network of Excellence >> Federal Council, International Federation for Computational Logic >> > > -- > ---------------------------------------------------------------------- > 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 > ---------------------------------------------------------------------- > > <m_kohlhase.vcf> _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
