| Aarti Gupta |
|
(NEC Labs, US) |
| Andreas Podelski |
|
(University of Freiburg, Germany) |
| Andy King |
|
(Portcullis Computer Security) |
| Barbara Jobstman |
|
(VERIMAG, France) |
| Christophe Joubert |
|
(Technical University of Valencia, Spain) |
| Daniel Kroening |
|
(University of Oxford, UK) |
| Diego Latella |
|
(CNR/IST Pisa, It) |
| Dino Distefano |
|
(Queen Mary, University of London, UK) |
| Francois Pilarski |
|
(Airbus, France) |
| Holger Hermanns |
|
(Universität des Saarlandes, Germany) |
| Hubert Garavel |
|
(INRIA Rhône-Alpes, France) |
| Jaco van de Pol |
|
(Universiteit Twente, The Netherlands) |
| Jakob Rehof |
|
(Technische Universität Dortmund, Germany) |
| Juan José Moreno-Navarro |
|
(Universidad Politécnica de Madrid, Spain) |
| Jörg Brauer |
|
(RWTH Aachen, Germany) |
| Lubos Brim |
|
(Masarykova Univerzita, Czech Republic) |
| María Alpuente |
|
(Technical University of Valencia, Spain) |
| Marco Roveri --co chair |
|
(FBK-irst, Italy) |
| Pedro Merino |
|
(Universidad de Málaga, Spain) |
| Radu Mateescu |
|
(INRIA Rhone-Alpes, France) |
| Stefan Kowalewski --co chair |
|
(RWTH Aachen, Germany) |
| Stefania Gnesi |
|
(ISTI-CNR, Italy) |
| Thierry Lecomte |
|
(ClearSy, France) |
| Thomas Kropf |
|
(Bosch, Germany) |
| Thomas Santen |
|
(Microsoft European Innovation Center) |
| Wan Fokkink |
|
(Vrije Universiteit Amsterdam, Netherlands) |
| Wilfried Steiner |
|
(TTTech, Austria) |
![[Valid RSS]](images/valid-rss.png "Validate my RSS feed")