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.

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 Seppälä/Jouko Väänänen: Advanced Learning Technologies technical Plan (HTML) Proposal (PDF)
15.30 Ralf Scholl: Interactive online-exercises in math - a possible area of application of OM.
16.30 Stéphane Lavirotte: Openmath/MathML/SVG PDF
17.30 Close

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 Seppälä: 6th Framework proposal
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