OpenMath is an extensible standard for representing the semantics of mathematical objects.
https://openmath.org
layout:default title: OpenMath Thematic Network Meeting: Linz 2001
RISC, Schloss Hagenberg, Austria
September 26-28 2001
Some notes of the technical part of the meeting can be found here (PDF).
The following presentations were given: