| TIME | PROGRAM, Tue 15.07.1999, AUD 10 |
|---|
| 09:30 - 10:00 | Registration and Coffee |
| 10:00 - 10:30 | Content Dictionaries
| J. H. Davenport |
| 10:30 - 11:00 | Proposed Changes to the OpenMath Standard and
to the Content Dictionaries Distributions | D. Carlisle |
| 11:00 - 11:30 | Coffee break |
| 11:30 - 12:00 | Proposal of an Extension of OpenMath by
Defining Mathematical Properties | A. M. Cohen |
| 12:00 - 12:30 | Discussion |
| 12:30 - 14:00 | Lunch break |
| 14:00 - 14:30 | OpenMath for knowledge-based automated theorem proving | M. Kohlhase |
| 14:30 - 15:00 | OpenMath, IAMC and GAP | A. Solomon |
| 15:00 - 15:30 | Tea break |
| 15:30 - 16:30 | Discussion |
| 16:30 - 17:00 | Informal Get Together |
| 17:00 - 18:00 | OpenMath Society Annual Meeting |
| 19:30 - -- | Dinner |
| | |
| TIME | PRELIMINARY PROGRAM, Wed 16.07.1999, AUD 10-12 |
|---|
| 09:30 - 10:00 | Coffee |
| 10:00 - 10:30 | Some Experiences on Translating OpenMath to C | T. Huuskonen |
| 10:00 - 10:30 | Experimental use of
OpenMath to link packages in the CATHODE II Workgroup | A. Triulzi |
| 11:00 - 11:30 | Coffee break |
| 11:30 - 12:30 | Discussion |
| 12:30 - 14:00 | Lunch break |
| 14:00 - 14:30 | "Time, Truth and Type Theory" | S. Buswell |
| 14:30 - 15:00 | |
| 15:00 - 15:30 | Tea break |
| 15:30 - 16:30 | Closing Discussion |
| 16:30 - 17:00 | |
| | |