20th International Conference on
Computer Aided Verification (CAV) 2008
July 7 – 14, 2008
Princeton, USA
Organization
Program Committee
- Rajeev Alur, University of Pennsylvania
- Nina Amla, Cadence
- Clark Barrett, New York University
- Armin Biere, JKU Linz
- Roderick Bloem, TU Graz
- Ahmed Bouajjani, University Paris 7
- Alessandro Cimatti, IRST Trento
- Werner Damm, Oldenburg University
- Steven German, IBM
- Ganesh Gopalakrishnan, University of Utah
- Mike Gordon, University of Cambridge
- Orna Grumberg, Technion
- Aarti Gupta (co-chair), NEC Labs America
- David Harel, Weizmann Institute
- John Harrison, Intel
- Thomas A. Henzinger, EPFL
- Holger Hermanns, Saarland University
- Pei-Hsin Ho, Synopsys
- Robert Jones, Intel
- Daniel Kroening, Oxford University
- Orna Kupferman, Hebrew University
- Shuvendu Lahiri, Microsoft Research
- Rupak Majumdar, University of California - Los Angeles
- Oded Maler, Verimag
- Sharad Malik (co-chair), Princeton University
- Ken McMillan, Cadence
- Kedar Namjoshi, Bell Labs, Alcatel-Lucent
- Corina Pasareanu, NASA
- Amir Pnueli, New York University
- Andreas Podelski, University of Freiburg
- Shaz Qadeer, Microsoft Research
- Koushik Sen, University of California - Berkeley
- Fabio Somenzi, University of Colorado
- Ofer Strichman, Technion
- Karen Yorav, IBM Haifa
- Lenore Zuck, University of Illinois
Program Chairs
- Aarti Gupta, NEC Labs America
- Sharad Malik, Princeton University
Organizing Committee
- Workshops Chair: Byron Cook, Microsoft Research
- Tutorials Chair: Alan Hu, University of British Columbia
Local Arrangements
Steering Committee
- Edmund M. Clarke, Carnegie Mellon University
- Mike Gordon, University of Cambridge
- Robert P. Kurshan, Cadence
- Amir Pnueli, New York University