| Rajeev Alur | University of Pennsylvania, USA
|
| Julian Bradfield | University of Edinburgh, UK
|
| Gianpiero Cabodi | Politecnico di Torino, ITA
|
| Dennis Dams | Alcatel-Lucent Bell Labs, USA
|
| Patrice Godefroid | Microsoft Research, USA
|
| Pei-Hsin Ho | Synopsys, USA
|
| Jens Knoop | Technische Universität Wien, AUT
|
| Barbara Koenig | Universität Duisburg-Essen, GER
|
| Orna Kupferman | Hebrew University, ISR
|
| Tiziana Margaria | Universität Potsdam, GER
|
| Kenneth McMillan | Cadence Research Laboratories, USA
|
| Madhavan Mukund | Chennai Mathematical Institute, IND
|
| Lenore Zuck | University of Illinois at Chicago, USA
|
