International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'05)
Invited Speakers
Lothar Thiele
, Swiss Federal Inst. of Technology Zurich
Karl-Erik Årzén
, Lund Inst. of Technology, Lund Univ.
Parosh Abdulla
, Uppsala Univ.
menu
overview
steering committee
program committee
local organization
important dates
invited speakers
submission
programme
registration
travel & venue
photos
call for papers
artist2 summer school