[Om3] Attempt at an Agenda for today's meeting (now)

Michael Kohlhase m.kohlhase at jacobs-university.de
Fri May 16 10:01:16 CEST 2014


Dear OM3 committee and guests,

[sorry for the late notification, I was trapped in an exam without wifi]

We have our kickoff meeting for the OM3 effort  today at 10:00 CET
(now). If you have not done so, please send me your skype handle
(if you have done so, please do it again :-)). I will then set up a
skype meeting from these.

We have already started discussing over e-mail before today, so it maybe
good to take stock and plan our course. Here are some things I would
like discussed (ordered in order of radicality)

 1. *Triage, TRAC complete/up-to-date*, ... we should get an overview
    over the issues we have compiled
 2. is there a need for a *new standard* (OM3 or OM2-2e)?
     1. do we want to extend/change OpenMath objects
     2. do we want to extend/change XML/binary encodings
     3. do we want to extend/change OM CD data model
     4. do we want to extend/change the XML encoding of OMCD
 3. how to we see the s*ynchronization with MathML3*?
 4. Do we want to develop a *language extension mechanisms*

Note that we do not have to answer all of these questions today, but it
would be good to have a first indication in which direction the
discussion will go.

Note furthermore, that I view the mandate of our committee to come up
with a justified answer for questions 2 and 3. Anything else is extra.
In particular we are not tasked to have a standard draft ready for the
OM workshop in Coimbra. But if we answer section 2 positively, it is
admissible to start working on a draft standard.

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
----------------------------------------------------------------------


-------------- next part --------------
A non-text attachment was scrubbed...
Name: m_kohlhase.vcf
Type: text/x-vcard
Size: 332 bytes
Desc: not available
URL: <http://openmath.org/pipermail/om3/attachments/20140516/50848142/attachment.vcf>


More information about the Om3 mailing list