Proceedings of OpenMath Workshop 3

Amsterdam, 9-10 February 1995


Scanned copies of slides of most of the presentations are available; some printed copies are available upon e-mail request to riaca@can.nl.

Programme

February 9, 1995

11:00 - 11:15 Marcel Roelofs Welcome (slides, about 20k)
11:15 - 11:45 Andreas Strotmann Overview of the OpenMath language structure (slides, about 120k)
11:45 - 12:15 Gaston Gonnet Comments on the current OpenMath proposal (no slides)
12:15 - 12:45 Stefan Vorkoetter Experiences with OpenMath (including demo REDUCE <--> Maple) (slides, about 30k)
14:00 - 14:30 Bob Sutor Types and OpenMath (slides, about 70k)
14:30 - 15:00 Discussion about type information in OpenMath
15:30 - 16:00 Marcel Roelofs, and Andre van Leeuwen Considerations for the communication protocol proper (slides, about 25k)
16:00 - 16:30 Marc Gaetano The PoSSo central control (no slides)
16:30 - 17:00 Discussion on the communication protocol

February 10, 1995

9:15 - 9:45 Simon Gray Update on MP and comparison with OpenMath (slides, about 60k)
9:45 - 10:15 John Abbott Binary encodings and OpenMath (slides, about 25k)
10:15 - 10:30 Discussion on encodings
11:00 - 11:25 Hannes Schoenemann Singular (slides, about 30k)
11:25 - 11:50 Josef Gebel SIMATH (slides, about 60k)
11:50 - 12:15 Ovidiu Podisor STURM (slides, about 40k)
12:15 - 12:45 Discussion on extensions to OpenMath
14:00 - 14:30 Andre van Leeuwen/Marcel Roelofs Typesetting and OpenMath (slides, about 40k)
14:30 - 15:00 Discussion on typesetting
15:30 - 17:00 General discussion: EC funding and future plans

Note: Some speakers' slides were not copied for the proceedings available from RIACA. The final schedule differed a bit from the one reproduced from the final announcement above. In particular, the following talk was added to the agenda:

Ian Meikle NAG and OpenMath (slides, about 20k)

Also, the following notes contributed via e-mail were presented as a slide:
Neil Soiffer On typesetting and OpenMath (slide, about 2k).


This page is part of the OpenMath Web archive, and is no longer kept up to date.