VERIMAG

 Joint Conference

 Formal Modelling and Analysis of Timed Systems (FORMATS)

 Formal Techniques in Real-Time and Fault Tolerant System (FTRTFT)

Grenoble, France, September 22-24, 2004                                  

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)
Back to main page