Organization

Conference Co-Chairs

Rustan Leino, Amazon 
Alexandra Silva, University College London

Artifact Co-Chairs

Clément Pit-Claudel, Massachusetts Institute of Technology
Maria Schett, University College London

Workshop Chair

Arie Gurfinkel, University of Waterloo 

Mentoring Workshop Chair

Jean-Baptiste Jeannin, University of Michigan

Publicity Chair

Norine Coenen, CISPA Helmholtz Center for Information Security

Sponsorship Chair

Bor-Yuh Evan Chang, University of Colorado Boulder

Fellowship Chair

Thomas Wies, New York University

Program Committee

TBA

Artifact Evaluation Committee

TBA

CAV Award Committee

Pierre Wolper, Liege University (chair)
Somesh Jha, University of Wisconsin-Madison
Parosh Abdulla, Uppsala University
Corina Pasareanu, NASA

Steering Committee

Orna Grumberg , The Technion
Aarti Gupta , Princeton University
Daniel Kröning , University of Oxford
Ken McMillan , Microsoft Research