July 9th, 2009, Ontario, Canada, c/o CICM 2009
"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 | wiki.openmath.org -- 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!