Logic List Mailing Archive

FORMATS 2011: Formal Modeling and Analysis of Times Systems

21-23 Sep 2011
Aalborg, Denmark

CALL FOR PARTICIPATION

                        FORMATS  2011
               9th International Conference on
        Formal Modeling and Analysis of Timed Systems

                Phoenix Hotel, Aalborg, Denmark
                     21-23 September 2011

                http://formats2011.cs.aau.dk/


REGISTRATION:

Registration fee: 275 Euro:
Register at: http://formats2011.cs.aau.dk/venue.html#regis


PROGRAM:

See http://formats2011.cs.aau.dk/program.html


INVITED TALKS

Rajeev Alur, University of Pennsylvania:
        Interfaces for Control Components

Boudewijn Haverkort, University of Twente / Embedded Systems Institute
Eindhoven:
        Formal Modeling and Analysis of Timed Systems:
        Technology Push or Market Pull?

Oded Maler, VERIMAG:
        Performance Evaluation of Schedulers in a Probabilistic Setting