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