International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'05)
Steering Committee
Rajeev Alur
(Univ. of Pennsylvania, USA)
Flavio Corradini
(Univ. di L'Aquila, Italy)
Kim G. Larsen
(Aalborg Univ., Denmark)
Oded Maler
(Verimag, France)
Walter Vogler
(Univ. Augsburg, Germany)
Wang Yi
(Uppsala Univ.,Sweden)
menu
overview
steering committee
program committee
local organization
important dates
invited speakers
submission
programme
registration
travel & venue
photos
call for papers
artist2 summer school