|
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):
| Wednesday 17 | |||
|---|---|---|---|
| 9:30 | - | 10:00 | D7.a Dissemination and Use Plan |
| 10:00 | - | 10:45 | D0.a Self-Assesment parameters and criteria |
| 10:45 | - | 11:00 | BREAK |
| 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) |
| 12:30 | - | 13:30 | LUNCH |
| 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:30 | - | 16:45 | BREAK |
| 16:45 | - | 17:45 | DTD and stylesheets |
| Thursday 18 | |||
| 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 |
| 12:30 | - | 13:30 | LUNCH |
| 13:30 | - | 14:30 | D3.b Metadata Model |
| 14:30 | - | 14:45 | BREAK |
| 14:45 | - | 15:15 | Markus Moschner: demo of MBase |
| 15:15 | - | 15:45 | Irene Schena or Ferruccio Guidi: Latest advancement on a Query language |
| 15:45 | - | 16:00 | BREAK |
| 16:00 | - | 16:30 | Erica Melis: overview of ActiveMath |
| 16:30 | - | 17:00 | George Goguadze or Paul Libbrecht: demo of ActiveMath |
| Friday 19 | |||
| 9:30 | - | 11:30 | D2.a Exportation module (continuation from Wenesday) |
| 11:30 | - | 12:00 | Herman Geuvers: Formalizing Mathematics in Coq |
| 12:00 | - | 13:30 | LUNCH |
Wireless network access is provided, as well as the usual presentation facilities (Video Projector, Overhead projector).
This page is hosted by the
Department of Computer Science,
University of Bologna.
Last updated Fri Feb 2 17:12:28 CET 2007. |
|