OpenMath is an extensible standard for representing the semantics of mathematical objects.
https://openmath.org
Berlin, 6-7. August 2001
Some notes of the technical part of the meeting can be found here (PDF).
The following presentations were given: