Lecturer Title
Sep 13
08.00-09.00 breakfast
09.15-09.30 opening
09.30-12.30 Rajeev Alur
Univ. of Pennsylvania
USA
Timed Automata
and Model Checking
12.30-14.00 lunch
15.00-18.00 Walter Vogler
Univ. of Augsburg
Germany
Timed Petri Nets
Sep 14
08.00-09.00 breakfast
09.30-12.30 Jos Baeten
Eindhoven Univ. of Tech.
The Netherlands
Timed Process Algebra
12.30-14.00 lunch
15.00-18.00 Flavio Corradini
Univ. of Camerino
Italy
Expressiveness of Timed Events
and Timed Languages
Sep 15
08.00-09.00 breakfast
09.30-12.30 Wan Fokkink
CWI
The Netherlands
Real-Time
Embedded Systems
12.30-14.00 lunch
15.00-18.00 Kim Larsen
Univ. of Aalborg
Denmark
Tools and Applications I:
Uppaal
Sep 16
08.00-09.00 breakfast
09.30-12.30 Bran Selic
IBM
Canada
Real-Time UML
12.30-14.00 lunch
15.00-18.00 Joseph Sifakis
Verimag
France
Tools and Applications II:
The IF Toolset
Sep 17
08.00-09.00 breakfast
09.30-12.30 Mario Bravetti
Univ. of Bologna
Italy
Real Time
and Stochastic Time
12.30-14.00 lunch
15.00-18.00 Joost-Pieter Katoen
Univ. of Twente
The Netherlands
Tools and Applications III:
Motor
Sep 18
08.00-09.00 breakfast
09.30-12.30 Eugene Asarin
Univ. of Paris 7
France
Hybrid Systems
12.30-12.45 closing
12.45-14.00 lunch