OM 2009 workshop

22nd OpenMath Workshop

July 9th, 2009, Ontario, Canada, c/o CICM 2009

Provisional Programme

"No plan survives contact with the enemy" - Field Marshal von Moltke Senior

08:30-10:30 Session 1
08:30 OpenMath in SCIEnce (paper 8) Roozemond et al.
08:55 SCIEnce CD groups (papers 3, 4, 5, 6) Roozemond et al.
09:20 MathML CD group (paper 18) Carlisle
09:30 SI Quantities (paper 2) Collins
09:40 Content Dictionaries for Algebraic Topology (paper 11) Jonathan Heras, Vico Pascual and Julio Rubio
09:50 Various CD groups (papers 12, 13, 16) Davenport
10:05 The Intergeo File Format in Progress (paper 15) Libbrecht et al.
10:30-11:00 Break
11:00-12:00 Session 2
11:00 Semantics of OpenMath and MathML3 (paper 10) Michael Kohlhase and Florian Rabe
11:30 A Better Role System for OpenMath (paper 9) Florian Rabe and Michael Kohlhase
12:00-14:30 Lunch Break (posters will be up, unstaffed)
14:30-15:00 posters will be up and staffed
CD posters As in session 1 (08:55-10:05)
The Design of MathML-Content 2 Revision 2 and Implications for Unifying MathML and OpenMath Strotmann (via Skype)
15:00-16:00 Invited Talk
16:00-16:20 Break
16:20-18:00 Session 3
16:20 -- how it works, how you can participate (paper 14) Christoph Lange
16:50 CD forum; OpenMath Society Business Meeting Michael Kohlhase (Chair)

Details of the posters (size etc.) will be sent as soon as available.

Comments/questions/inquiries: to be sent to: om2009 at easychair dot org.

Historical Note: David Carlisle has clarified chronology: this will in fact be the 22nd OpenMath workshop (which makes much more sense). Workshop 14 was also a Thematic Network workshop 1, hence there has been an "off by 13" error. Thanks, David!