Joint Conference
Formal Modelling and Analysis of Timed Systems (FORMATS)
Formal Techniques in Real-Time and Fault Tolerant System (FTRTFT)
Program Committee
Luca de Alfaro (UCSC, USA)
Eugene Asarin (LIAFA, France)
Patricia Bouyer (LSV, France)
Flavio Corradini (Uni. di L'Aquila Italy)
Jordi Cortadella (UPC Spain)
Pedro D'Argenio (FAMAF, Argentina)
Alain Girault (INRIA, France)
Tom Henzinger (Berkeley, USA)
Mathai Joseph (TCS, India)
Marta Kwiatkowska (Uni. Birmingham,UK)
Yassine Lakhnech (VERIMAG, France, co-chair)
Kim Larsen (Aalborg University, Denmark)
Claude Le Pape (Ilog SA, France)
Ernst-Ruediger Olderog (Uni. Oldenburg, Germany)
Jens Palsberg (UCLA, USA)
P. Madhusudan (U. Pennsylvania, USA)
Amir Pnueli (NYU, USA)
Jean-Francois Raskin (ULB, Belgium)
Willem-Paul de Roever (Uni. Kiel, Germany)
John Rushby (SRI, USA)
Henny Sipma (Stanford, USA)
Steve Vestal (Honeywell, USA)
Wang Yi (Uppsala University, Sweden)
Sergio Yovine (VERIMAG, France, co-chair)