Organization

Conference Co-chairs

Isil Dillig, UT Austin
Serdar Tasiran, Amazon

Workshop Chair

Oksana Tkachuk, Amazon

Publicity Chair

Zvonimir Rakamaric, University of Utah

Sponsorship Chair

Peter O’Hearn, Facebook

Fellowship Chair

Thomas Wies, NYU

CAV Award Committee

TBD

Program Committee

TBD

Artifact Evaluation Committee

Michael Tautschnig, Amazon (chair)
TBD

Mentoring Workshop Organizing Committee

Loris D’Antoni, University of Wisconsin (chair)
Anthony Lin, Oxford University
Cezara Dragoi, Inria
Rayna Dimitrova, University of Leicester