OpenMath Thematic Network Meeting - Pisa 2002

Department of Mathematics at the University of Pisa.

September 28-29 2002

The OpenMath Thematic Network held an Open meeting in Pisa on Saturday & Sunday September 28/29, 2002.

##Saturday

10.30 Arrive
10.50 Mike Dewar: opening.
11.00 Olga Caprotti: OpenMath Tools
11.30 George Goguadze: ActiveMath
12.00 David Carlisle: Mathematics rendering in current browsers. (XHTML)
13.00 Lunch
14.30 Mika Seppala/Jouko Vananen: Advanced Learning Technologies technical Plan (HTML) Proposal (PDF) </li>
15.30 Ralf Scholl: Interactive online-exercises in math - a possible area of application of OM.
16.30 Stephane Lavirotte: Openmath/MathML/SVG PDF</li>
17.30 Close

##Sunday

09.30 Proposed changes to OM standard session
- David Carlisle: Binding XML
- David Carlisle: Namespaces and Schema
- Michael Kolhase: Structure Sharing PDF
- James Davenport: FMP/Definitions
- Mike Dewar: XML encoding of OpenMath annotations HTML
11.30 Other projects session
- Arjeh Cohen MOWGLI
- James Davenport: MKM
- Winfried Neun: OpenMath in the Math-Net project. HTML
- Mika Seppala: 6th Framework proposal</li>
12.30 Lunch
14.00 New CDs session
- Arjeh Cohen: New CDs planar geometry CDs, poly CDs,group CDs.
- James Davenport: New CDs: transc2/3; logic3; special functions
15.30 OpenMath TN business meeting
16.30 Close