The meeting will be held from Wednesday, 17 July 2002 until Friday, 19 July 2002.
Accomodation has been arranged at the Tulip Inn hotel in Eindhoven.
This is the agenda (adjustments have been made to fit time constraints):
|9:30||-||10:00||D7.a Dissemination and Use Plan|
|10:00||-||10:45||D0.a Self-Assesment parameters and criteria|
|11:00||-||12:00||D1.b Structure and Meta-Structure of Mathematical Document (report)|
|12:00||-||12:30||D2.a Exportation module (to be continued on Friday)|
|13:30||-||14:30||D1.c Distributed Digital Libraries: development, archiving, retrieving|
|14:30||-||16:30||D1.b Structure and Meta-Structure of Mathematical Documents (Markup discussion)|
|16:45||-||17:45||DTD and stylesheets|
|9:30||-||11:30||D4.a MathML Rendering/Browsing engine. (Including a presentation of Luca Padovani and one from Sophia)|
|11:30||-||12:30||D3.a Metadata for Mathematical Libraries|
|13:30||-||14:30||D3.b Metadata Model|
|14:45||-||15:15||Markus Moschner: demo of MBase|
|15:15||-||15:45||Irene Schena or Ferruccio Guidi: Latest advancement on a Query language|
|16:00||-||16:30||Erica Melis: overview of ActiveMath|
|16:30||-||17:00||George Goguadze or Paul Libbrecht: demo of ActiveMath|
|9:30||-||11:30||D2.a Exportation module (continuation from Wenesday)|
|11:30||-||12:00||Herman Geuvers: Formalizing Mathematics in Coq|
Wireless network access is provided, as well as the usual presentation facilities (Video Projector, Overhead projector).