Joint Conference
Formal Modelling and Analysis of Timed Systems (FORMATS)
Formal Techniques in Real-Time and Fault Tolerant System (FTRTFT)
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) |
|