Dear all, a couple of days back I sent around a note proposing a new calculus3 CD and in it a new representational style using complex binding operators that allows to get by without condition elements. This is important for the OpenMath/MathML alignment, since if we do not find a way to get by without a <condition> element in strict content MathML, we will need to introduce one in OpenMath, which would be a large change in the language.
Unfortunately, there has not been a lot of response to the proposal, but I am not willing to interpret this as a sign of "no opposition". We need to discuss this proposal in depth and estimate the consequences for OpenMath and MathML. We also need to move forward since the MathML WG needs to prepare a final call working draft relatively soon. Therefore I am calling a virtual Face2Face meeting via Skype conference. To plan a date I have prepared a poll at http://www.doodle.ch/2d9uyxmczvq2gk6s So if you are interested in this topic or think you have something to contribute, please head over there and specify your free slots until monday September 29. 23:59 CET. If you want to prepare, the note is at https://svn.openmath.org/OpenMath3/doc/blue/noconds/note.pdf Michael -- ---------------------------------------------------------------------- Prof. Dr. Michael Kohlhase, Office: Research 1, Room 62 Professor of Computer Science Campus Ring 12, School of Engineering & Science D-28759 Bremen, Germany Jacobs University Bremen* tel/fax: +49 421 200-3140/-493140 [EMAIL PROTECTED] http://kwarc.info/kohlhase skype: m.kohlhase * International University Bremen until Feb. 2007 ---------------------------------------------------------------------- _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
