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
