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.