Third OpenMath Workshop

Copies of slides presented at the workshop are available on paper from RIACA (e.g. by e-mail request to riaca@can.nl).

Program of the 3rd OpenMath workshop, February 9-10, 1995

February 9, 1995

10:30 - 11:00
Registration / coffee & tea
11:00 - 11:15
Welcome
Marcel Roelofs
Slides 01, 02, 03
11:15 - 11:45
Overview of the OpenMath language structure
Andreas Strotmann
Slides 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19
11:45 - 12:15
Comments on the current OpenMath proposal
Gaston Gonnet
12:15 - 12:45
Experiences with OpenMath (demo REDUCE <-> Maple)
Stefan Vorkoetter
Slides 01, 02, 03, 04, 05
12:45 - 14:00
Lunch at the CWI restaurant
14:00 - 14:30
Types and OpenMath
Bob Sutor
Slides 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12
14:30 - 15:00
Discussion about type information in OpenMath
15:00 - 15:30
Coffee & tea
15:30 - 16:00
Considerations for the communication protocol proper
Marcel Roelofs / Andre van Leeuwen
Slides 01, 02, 03, 04, 05
16:00 - 16:30
The PoSSo central control
Marc Gaetano
16:30 - 17:00
Discussion on the communication protocol
17:15 - 18:00
Drinks at the CWI restaurant
17:15 - 18:00
Drinks at the CWI restaurant
18:00 - 20:00
Diner at the CWI restaurant

February 10, 1995

9:00 - 9:15
Coffee & tea
9:15 - 9:45
Update on MP and comparison with OpenMath
Simon Gray
Slides 01, 02, 03, 04, 05, 06, 07, 08, 09, 10, 11, 12, 13
9:45 - 10:15
Binary encodings and OpenMath
John Abbott
Slides 01, 02, 03, 04
10:15 - 10:30
Discussion on encodings
10:30 - 11:00
Coffee & tea
11:00 - 12:20
Possible extensions to OpenMath
11:00 - 11:25
Singular
Hannes Schoenemann
Slides 01, 02, 03, 04, 05, 06
11:25 - 11:50
SIMATH
Josef Gebel
Slides 01, 02, 03, 04, 05, 06, 07
11:50 - 12:15
STURM
Ovidiu Podisor
Slides 01, 02, 03, 04, 05, 06, 07, 08, 09
12:15 - 12:45
Discussion on extensions to OpenMath
12:45 - 14:00
Lunch at the CWI restaurant
14:00 - 14:30
Typesetting and OpenMath
Andre van Leeuwen / Marcel Roelofs
Slides 01, 02, 03, 04, 05, 06, 07, 08
14:30 - 15:00
Discussion on typesetting
14:30 - 15:00
Discussion on typesetting
15:00 - 15:30
Coffee & tea
15:30 - 17:00
General discussion:
EC funding and future plans
17:00 - 18:00
Drinks at the CWI restaurant

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 01, 02, 03, 04, 05, 06

Also, the following notes contributed via e-mail were presented as a slide:

Neil Soiffer: (on typesetting and OpenMath)
Slide


Back to the OpenMath Home Page