Program Chairs
- Ahmed Bouajjani, (LIAFA/Paris 7, France)
- Oded Maler, (VERIMAG/CNRS, France)
- Parosh A. Abdulla, (U Uppsala, Sweden)
- Rajeev Alur, (U Penn, US)
- Christel Baier, (U Dresden, Germany)
- Clark Barrett, (NYU, US)
- Armin Biere, (Johannes Kepler U Linz, Austria)
- Nikolaj Bjorner, (MSR Redmond, US)
- Roderick Bloem, (TU Graz, Austria)
- Ahmed Bouajjani, (LIAFA/Paris 7, France)
- Edmund Clarke, (CMU, US)
- Byron Cook, (MSR Cambridge, UK)
- Martin Fränzle, (U Oldenburg, Germany)
- Aarti Gupta, (NEC Labs, US)
- John Harrison, (Intel, US)
- Klaus Havelund, (NASA JPL, US)
- Alan Hu, (UBC Vancouver, Canada)
- Kevin Jones, (Green Plug, US)
- Daniel Kröning, (U Oxford, UK)
- Robert Kurshan, (Cadence, US)
- Yassine Lakhnech, (VERIMAG/UJF, France)
- Oded Maler, (VERIMAG/CNRS, France)
- Kenneth McMillan, (Cadence, US)
- Markus Müller-Olm, (U Münster, Germany)
- Kedar Namjoshi, (Bell Labs, Alcatel-Lucent, US)
- Madhusudan Parthasarathy, (UIUC, US)
- Sriram Rajamani, (MSR India)
- Andrey Rybalchenko, (MPI-SWS)
- Philippe Schnoebelen, (LSV/CNRS, France)
- Sanjit Seshia, (UC Berkeley, US)
- Natarajan Shankar, (SRI International, US)
- Fabio Somenzi, (U Colorado Boulder, US)
- Ofer Strichman, (Technion, Israel)
- Serdar Tasiran, (Koç U Istanbul, Turkey)
- Tayssir Touili, (LIAFA/CNRS, France)
- Stavros Tripakis, (Cadence, US)
- Helmut Veith, (TU Darmstadt, Germany)
- Saddek Bensalem (chair), (VERIMAG/UJF, France)
- Ylies Falcone, (VERIMAG/UJF, France)
- Peter Habermehl, (LIAFA/Paris 7, France)
- Edmund M. Clarke, (CMU, US)
- Mike Gordon, (U Cambridge, UK)
- Robert P. Kurshan, (Cadence, US)
- Amir Pnueli, (NYU, US)