FORMATS 2011

the 9th International Conference on Formal Modeling and Analysis of Timed Systems, will take place at Phønix Hotel, Aalborg, Denmark, from 21 to 23 September 2011.

Invited Talks

• Rajeev Alur, University of Pennsylvania, Philadelphia
  Interfaces for Control Components
• Boudewijn Haverkort, University of Twente, Enschede, and Embedded Systems Institute, Eindhoven
  Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull?
• Oded Maler, VERIMAG, Grenoble
  Performance Evaluation of Schedulers in a Probabilistic Setting