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 | |
| |