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 | |||