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                                    

Steering Committees

FORMATS

FTRTFT

Rajeev Alur (USA) Mathai Joseph (Pune)
Flavio Corradini (Italy) Amir Pnueli (Weizmann Institute)
Kim G. Larsen (Denmark) Willem-Paul de Roever (Kiel)
Oded Maler (France) Jan Vytopil (Nijmegen)
Walter Vogler (Germany)

Wang Yi (Sweden)

Back to main page