# Proceedings of the Second OpenMath Workshop

*Note:* Much of the Proceedings has been scanned in for this online
presentation. For non-handwritten texts, this method has produced far from
satisfactory results. Authors are therefore kindly requested to submit
their slides or texts in 'electronic' form (as some authors have already
done - my thanks for your cooperation).
## Introduction and Summary

## Slides from the Second OpenMath Workshop

**John Abbott**
- POSSO Proposed Polynomial Extensions

(slides)
**Simon Gray**
- A Progress Report on the Multi Project

(no online information available yet)
**Gaston Gonnet**
- Semantics and Purposes of OpenMath

(slides)
**Stefan Vorkoetter**
- OpenMath Work in Progress at Waterloo Maple Software

(slides)
**Marc Gaetano, Stéphane Dalmas, Yves Papegay**
- SAFIR Project Update

(slides)
**Andreas Strotmann** - CALIF --
Computer Algebra Information Interchange Format

(slides)
**Neil Soiffer**
- Problems with OpenMath

(slides)
**Wolfgang Weck**
- Some Thoughts about Mathematical Symbols
**Carlo Traverso**
- Posso and OpenMath

(slides)
*Panel Session*
- Semantics of the Protocol: How Much or
How Little?
**Stefan Vorkoetter** (for **Chris Howlett**)
- Relations to Standardization Bodies

(slides)
**Rüdiger Loos**
- An Algebraic Kernel System

(slides)
**Mika Seppälä** - Plans Under the Recently Approved
HCM Proposal

(HCM Network
OpenMath home page)
**Norbert Kajler, Ron Avitzur** - HISC Activities at RIACA

(slides)

OpenMath home page

Strotmann@RRz.Uni-Koeln.DE
21 Nov 1994