Chairs
Swarat Chaudhuri, Rice University, USA
Azadeh Farzan, University of Toronto, Canada

CAV Award Committee
Ahmed Bouajjani (Chair), Univ. Paris Diderot (Paris 7)
Tom Ball , Microsoft Research
Kim G. Larsen, Aalborg University
Natarajan Shankar, SRI International

Program Committee
Rajeev Alur, University of Pennsylvania
Christel Baier, Technische Universität Dresden
Clark Barrett, New York University
Roderick Bloem, Graz University of Technology
Pavol Cerny, University of Colorado, Boulder
Adam Chlipala, MIT
Alessandro Cimatti, Fondazione Bruno Kessler
Loris D’Antoni, University of Wisconsin, Madison
Constantin Enea, Univ. Paris Diderot (Paris 7)
Javier Esparza, Technische Universität München
Kousha Etessami, University of Edinburgh
Susanne Graf, VERIMAG
Orna Grumberg, Technion
Franjo Ivancic, Google
Somesh Jha, University of Wisconsin, Madison
Ranjit Jhala, University of California, San Diego
Joost-Pieter Katoen, RWTH Aachen University
Zachary Kincaid, University of Toronto
Laura Kovacs, Chalmers University of Technology
Viktor Kuncak, EPFL
Marta Kwiatkowska, Oxford University
Shuvendu Lahiri, Microsoft Research
Akash Lal, Microsoft Research
Pete Manolios, Northeastern University
Kenneth McMillan, Microsoft Research
David Monniaux, VERIMAG
Kedar Namjoshi, Bell Labs, Alcatel-Lucent
David Parker, University of Birmingham
Corina Pasareneau, Carnegie Mellon Silicon Valley/NASA Ames
Ruzica Piskac, Yale University
Andreas Podelski, University of Freiburg
Shaz Qadeer, Microsoft Research
Andrey Rybalchenko, Microsoft Research
Mooly Sagiv, Tel Aviv University
Sriram Sankaranarayanan, University of Colorado, Boulder
Sanjit Seshia, University of California, Berkeley
Natasha Sharygina, University of Lugano
Sharon Shoham, Academic College of Tel-Aviv Yaffo
Fabio Somenzi, University of Colorado, Boulder
Serdar Tasiran, Koç University
Mahesh Viswanathan, University of Illinois, Urbana-Champaign
Bow-Yaw Wang, Academia Sinica
Thomas Wies, New York University
Lenore Zuck, University of Illinois, Chicago

External Review Committee
Aws Albarghouthi, University of Wisconsin-Madison
Jade Alglave, University College London
Sagar Chaki, Software Engineering Institute, Carnegie Mellon University
Hana Chockler, King’s College London
Byron Cook, University College London and Amazon
Thao Dang, CNRS
Cezara Dragoi, INRIA
Deepak D’Souza, Indian Institute of Science
Pierre Ganty, IMDEA
Ganesh Gopalakrishnan, University of Utah
Arie Gurfinkel, Software Engineering Institute, Carnegie Mellon University
Jan Hoffman, Carnegie Mellon University
William Hung, Synopsys
Joxan Jaffer, National University of Singapore
Naoki Kobayashi, The University of Tokyo
Hillel Kugler, Bar-Ilan University
Igor Konnov, Vienna University of Technology
Rupak Majumdar, Max Planck Institute for Software Systems
Sayan Mitra, University of Illinois at Urbana Champaign
Peter Müller, ETH Zurich
Tim Nelson, Brown University
Jan Otop, University of Wrocław
Gennaro Parlato, University of Southampton
Madhusudan Parthasarathy, University of Illinois at Urbana Champaign
Doron Peled, Bar Ilan University
Pavithra Prabhakar, Kansas State University
Arjun Radhakrishna, University of Pennsylvania
Zvonimir Rakamaric, University of Utah
Nishant Sinha, IBM Research, Bangalore
Ana Sokolova, University of Salzburg
Armando Solar-Lezama, MIT
Viktor Vafeiadis, Max Planck Institute for Software Systems
Martin Vechev, ETH, Zurich
Helmut Veith, Vienna University of Technology
Willem Visser, Stellenbosch University
Tomas Vojnar, Brno University of Technology
Thomas Wahl, Northeastern University
Eran Yahav, Technion
Karen Yorav, IBM Haifa Research Lab
Greta Yorsh, Queen Mary University of London
Florian Zuleger, Vienna University of Technology

Workshop Chair
Zachary Kincaid, University of Toronto, Canada

Artifact Evaluation Chair
Aws Albarghouthi, University of Wisconsin, USA

Publicity Chair
Roopsha Samanta, IST, Austria

Sponsorship Chair
Pavol Cerny, University of Colorado, Boulder

Steering Committee
Michael Gordon, University of Cambridge, UK
Orna Grumberg, Technion, Israel
Aarti Gupta, Princeton University, USA
Kenneth McMillan, Microsoft Research, USA