CAV 2010
22nd International Conference on Computer Aided Verification
Edinburgh, UK, July 15-19, 2010
Committees

Program Chairs

Byron Cook, Microsoft Research, United Kingdom
Paul Jackson, University of Edinburgh, United Kingdom
Tayssir Touili, LIAFA-CNRS, France

Program Committee

Rajeev Alur, University of Pennsylvania, US
Domagoj Babic, UC Berkeley, US
Christel Baier, Technical University of Dresden, Germany
Roderick Bloem, Graz University of Technology, Austria
Ahmed Bouajjani, LIAFA-University of Paris 7, France
Alessandro Cimatti, FBK-irst, Italy
Byron Cook, Microsoft Research, United Kingdom
Javier Esparza, Technische Universität München, Germany
Azadeh Farzan, University of Toronto, Canada
Martin Fränzle, University of Oldenburg, Germany
Ganesh Gopalakrishnan, University of Utah, US
Mike Gordon, University of Cambridge, United Kingdom
Orna Grumberg, Technion, Israel
Ziyad Hanna, Jasper, US
Holger Hermanns, Saarland University, Germany
Alan Hu, University of British Columbia, Canada
Paul Jackson, University of Edinburgh, United Kingdom
Kevin Jones, City University London, United Kingdom
Vineet Kahlon, NEC Labs, US
Jean Krivine, PPS-CNRS, France
Daniel Kroening, Oxford University, United Kingdom
Sava Krstic, Intel Corporation, US
Marta Kwiatkowska, Oxford University, United Kingdom
Oded Maler, VERIMAG-CNRS, France
Kenneth McMillan, Cadence, US
David Monniaux, VERIMAG-CNRS, France
Markus Müller-Olm, Muenster University, Germany
Kedar Namjoshi, Bell Labs, US
Doron Peled, Bar Ilan University, Israel
Shaz Qadeer, Microsoft Research, US
Jean-Francois Raskin, Brussels University, Belgium
Natasha Sharygina, University of Lugano, Switzerland
Tayssir Touili, LIAFA-CNRS, France
Helmut Veith, Vienna University of Technology, Austria
Kwangkeun Yi, Seoul National University, Korea
Karen Yorav, IBM Haifa, Israel
Greta Yorsh, IBM, US

Steering Committee

Edmund M. Clarke, Carnegie Mellon University, US
Mike Gordon, University of Cambridge, United Kingdom
Orna Grumberg, Technion, Israel
Robert P. Kurshan, Cadence, US
Kenneth McMillan, Cadence, US

Workshop Chair

Tomas Vojnar, Brno Univ. of Technology