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!