[Om3] Skype F2F for calculus3 and condition element in OpenMath

[Professor James Davenport]

On Sun, September 28, 2008 7:21 am, Michael Kohlhase wrote:
> 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
That's very wise. I read it, and had some questions which I could't
articulate very well.
> 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.
True
> 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.
Done, and I THINK Doodle has got the time-zones right. Sorry to be a bit
restrictive, but it's our first teaching week.

James Davenport
Hebron & Medlock Professor of Information Technology
Formerly RAE Coordinator and Undergraduate Director of Studies, CS Dept
Lecturer on CM30070, 30078, 50209, 50123, 50199
Chairman, Powerful Computing WP, University of Bath
OpenMath Content Dictionary Editor
IMU Committee on Electronic Information and Communication