CAV 2007
Computer Aided Verification (CAV)
19th International Conference
July 3-7, 2007, Berlin, Germany
Organization
Program Chairs
Program Commitee
- Parosh Abdulla, Uppsala U
- Rajeev Alur, U Penn
- Sergey Berezin, Synopsys
- Armin Biere, JKU Linz
- Roderick Bloem, TU Graz
- Ahmed Bouajjani, U Paris 7
- Alessandro Cimatti, IRST Trento
- Edmund M. Clarke, CMU
- Werner Damm, U Oldenburg
- Limor Fix, Intel
- Patrice Godefroid, Microsoft Research
- Ganesh Gopalakrishnan, U of Utah
- Susanne Graf, Verimag
- Orna Grumberg, Technion
- Holger Hermanns, Saarland U
- Robert Jones, Intel
- Orna Kupferman, Hebrew U
- Robert P. Kurshan, Cadence
- John Lygeros, ETH Zuerich
- Tom Melham, Oxford U
- Ken McMillan, Cadence
- Jakob Rehof, U Dortmund
- Koushik Sen, UC Berkeley
- Fabio Somenzi, U Boulder
- Ashish Tiwari, SRI International
- Frits Vaandrager, U Nijmegen
- Yaron Wolfstal, IBM Haifa
Steering Commitee
Organizing Commitee
Local Organizing Commitee
