TIMEPROGRAM, 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:30Coffee break
11:30 - 12:00 Proposal of an Extension of OpenMath by Defining Mathematical Properties A. M. Cohen
12:00 - 12:30Discussion
12:30 - 14:00Lunch break
14:00 - 14:30OpenMath for knowledge-based automated theorem proving M. Kohlhase
14:30 - 15:00OpenMath, IAMC and GAP A. Solomon
15:00 - 15:30Tea break
15:30 - 16:30Discussion
16:30 - 17:00Informal Get Together
17:00 - 18:00OpenMath Society Annual Meeting
19:30 - -- Dinner
   
TIMEPRELIMINARY 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:30Coffee break
11:30 - 12:30Discussion
12:30 - 14:00Lunch break
14:00 - 14:30"Time, Truth and Type Theory" S. Buswell
14:30 - 15:00
15:00 - 15:30Tea break
15:30 - 16:30Closing Discussion
16:30 - 17:00
   
￿