OpenMath Thematic Network Workshop, Nice 2002

March 2-3 2002 Some notes of the meeting are available here (PDF).

Report on the W3C meeting. D. Carlisle, NAG Ltd.
Semantics-Preserving Transformations for Mathematical Markup (Postscript). S. Watt, University of Western Ontario
OpenMath CD update (PDF) J.H. Davenport, University of Bath
A Geometry CD (Postscript) A.M. Cohen, Technical University of Eindhoven
The project MONET M. Dewar, NAG Ltd.
The project CoCoA 5 J. Abbott, University of Genova
Categorial Type Theory for OpenMath A. Strotmann, Florida State University
Dependable Mathematics and Computational Logic U. Martin, University of St. Andrews
Adaptive Calculus Learning System (PDF) M. Seppala, University of Helsinki
A language for brokering mathematical services (PDF) O. Caprotti, RISC Linz
A Content Language for distributed reasoning systems C. Giromini, Saarland University
Embedding OpenMath into Documents, lessons and suggestions from the OMDoc Experience (Postscript) M. Kohlhase, Carnegie Mellon University
OpenMath Society business meeting