| Hassan Ait-Kaci |
 |
(Ilog, Canada) |
| Maria Alpuente |
 |
(Technical University of Valencia, Spain) - co-chair |
| Thomas Arts |
 |
(IT-Universitetet i Göteborg, Sweden) |
| Demis Ballis |
 |
(Università degli Studi di Udine, Italy) |
| Josh Berdine |
 |
(Microsoft Research, UK) |
| Lubos Brim |
 |
(Masarykova Univerzita, Czech Republic) |
| Darren Cofer |
 |
(Rockwell Collins, USA) |
| Byron Cook |
|
(Microsoft Research, UK) - co-chair |
| Patrick Cousot |
 |
(Ecole Normale Supérieure, France) |
| Santiago Escobar |
|
(Technical University of Valencia, Spain) |
| Azadeh Farzan |
|
(University of Toronto, Canada) |
| Hubert Garavel |
|
(INRIA Rhône-Alpes, France) |
| Stefania Gnesi |
|
(ISTI-CNR, Italy) |
| Alexey Gotsman |
|
(University of Cambridge, UK) |
| Holger Hermanns |
 |
(Universität des Saarlandes, Germany) |
| Christophe Joubert |
|
(Technical University of Valencia, Spain) - workshop chair |
| Daniel Kroening |
 |
(ETH Zürich, Switzerland) |
| Michael Leuschel |
|
(Heinrich-Heine-Universität Düsseldorf, Germany) |
| Pedro Merino |
|
(Universidad de Málaga, Spain) |
| Juan José Moreno-Navarro |
|
(Universidad Politécnica de Madrid, Spain) |
| Corina Pasareanu |
|
(NASA Ames Research Center, USA) |
| Jaco van de Pol |
 |
(Universiteit Twente, The Netherlands) |
| Murali Rangarajan |
|
(Honeywell, USA) |
| Jakob Rehof |
|
(Technische Universität Dortmund, Germany) |
| Andrey Rybalchenko |
|
(Max-Planck-Gesellschaft, Germany) |
| Marcel Verhoef |
|
(Chess, The Netherlands) |
| Martin Wirsing |
|
(Ludwig-Maximilians-Universität München, Germany) |
| Hongseok Yang |
|
(Queen Mary, University of London, UK) |
| Greta Yorsh |
|
(IBM T.J. Watson Research Center, USA) |
![[Valid RSS]](./images/valid-rss.png "Validate my RSS feed")