Organization

Conference co-chairs

Viktor Kuncak, EPFL, Switzerland
Rupak Majumdar, Max Planck Institute for Software Systems, Germany

Workshop Chair

Eva Darulová, Max Planck Institute for Software Systems, Germany

Sponsorship Chair

Barbara Jobstmann, EPFL and Cadence

CAV Fellowship Chair

Thomas Wahl, Northeastern University

Publicity Chair

Mikaël Mayer, EPFL

CAV Award Committee

Tom Ball  (Chair), Microsoft research
Kim G. Larsen, Aalborg University
Natarajan Shankar, SRI International
Pierre Wolper, Liege University

Program Committee

Aws Albarghouthi, University of Wisconsin
Christel Baier, TU Dresden
Per Bjesse, Synopsys
Jasmin Blanchette, Inria Nancy – Grand Est
Sergiy Bogomolov, Australian National University
Ahmed Bouajjani, IRIF, Paris Diderot University
Rohit Chadha, University of Missouri
Bor-Yuh Evan Chang, University of Colorado Boulder
Swarat Chaudhuri, Rice University
Wei-Ngan Chin, National University of Singapore
Hana Chockler, King’s College London
Alessandro Cimatti, Fondazione Bruno Kessler
Isil Dilig, University of Texas at Austin
Dino Distefano, Facebook and Queen Mary University of London
Cezara Dragoi, INRIA Paris, ENS
Michael Emmi, Nokia Bell Labs
Javier Esparza, TU Munich
Georgios Fainekos, Arizona State University
Azadeh Farzan, University of Toronto
Aarti Gupta, Princeton University
Gerard Holzmann, Nimble Research
Marieke Huisman, University of Twente
Radu Iosif, Verimag
Franjo Ivancic, Google
Stefan Kiefer, Oxford University
Zachary Kincaid, Princeton University
Barbara König, University of Duisburg-Essen
Daniel Kröning, Oxford University
Viktor Kuncak (Co-chair), EPFL
Rustan Leino, Microsoft Research
Rupak Majumdar (Co-chair), MPI-SWS
Kenneth McMillan, Microsoft Research
Alexander Nadel, Intel
Madhusudan Parthasarathy, University of Illinois at Urbana-Champaign
Corina Pasareanu, NASA Ames
Nadia Polikarpova, MIT
Pavithra Prabhakar, Kansas State University
Arjun Radhakrishna, University of Pennsylvania
Zvonimir Rakamaric, University of Utah
Andrey Rybalchenko, Microsoft Research
Roopsha Samanta, Purdue University
Rahul Sharma, Microsoft Research
Anna Slobodova, Centaur Technology
Ana Sokolova, University of Salzburg
Zhendong Su, University of California at Davis
Serdar Tasiran, Amazon Web Services
Emina Torlak, University of Washington
Willem Visser, Stellenbosch University
Mahesh Viswanathan, University of Illinois at Urbana Champaign
Yakir Vizel, Princeton University
Tomas Vojnar, Brno University of Technology
Thomas Wahl, Northeastern University
Bow-Yaw Wang, Academia Sinica
Georg Weissenbacher, Vienna University of Technology
Verena Wolf, Saarland University
Lenore Zuck, University of Illinois at Chicago
Damien Zufferey, MPI-SWS

Steering Committee

Orna Grumberg, Technion, Israel
Aarti Gupta, Princeton University, USA
Daniel Kroening, University of Oxford, UK
Kenneth McMillan, Microsoft Research, USA

Artifact Evaluation Committee

Ayca Balkan, UCLA
Stephanie Balzer, CMU
James Bornholt, University of Washington
Simon Cruanes, INRIA Nancy
Matthias Dangl University of Passau
Marko Doko, MPI-SWS
Chuchu Fan, UIUC
Pietro Ferrara, Julia
Johannes Hoelzl, TU Munich
Lars Hupel, TU Munich
Swen Jacobs, Saarland University
Moa Johansson, Chalmers
Dejan Jovanovic, SRI
Ralf Jung, MPI-SWS
Ivan Kuraj, MIT
Andreas Lochbihler, ETH Zurich
Jose Morales, IMDEA
Van Chan Ngo, CMU
Zvonimir Pavlinovic, NYU
Markus Rabe, UC Berkeley
Mukund Raghothaman, UPenn
Andrew Reynolds, University of Iowa
Nima Roohi, UIUC
Christian Schilling, University of Freiburg
Muralidaran Vijayaraghavan, MIT
Nicolas Voirol, EPFL