IST Logo Small

MOWGLI Meeting

VENUE

The meeting will be held from Wednesday, 17 July 2002 until Friday, 19 July 2002.

ACCOMODATION

Accomodation has been arranged at the Tulip Inn hotel in Eindhoven.

AGENDA & SOCIAL EVENTS

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

TECHNICAL FACILITIES

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.
IST Logo Small