Program Chairs
- Roderick Bloem (Graz University of Technology)
- Paulo Tabuada (University of California Los Angeles)
Program Committee
- Alessandro Abate (University of Oxford)
- Swarat Chaudhuri (Rice University)
- Yu-Fang Chen (IIS Academia Sinica)
- Jyo Deshmukh (University of Southern California)
- Bernd Finkbeiner (Saarland University)
- Dana Fisman (Ben-Gurion University)
- Swen Jacobs (Saarland University)
- Stéphane Lafortune (University of Michigan)
- Necmiye Ozay (University of Michigan)
- Doron Peled (Bar-Ilan University)
- Ruzica Piskac (Yale University)
- Nadia Polikarpova (University of California San Diego)
- Roopsha Samanta (Purdue University)
- Sriram Sankaranarayanan (University of Coloarado Boulder)
- Ocan Sankur (Irisa Rennes)
- Sven Schewe (University of Liverpool)
- Ufuk Topcu (University of Texas at Austin)
- Abhishek Udupa (Microsoft Corporation)
- Frits Vaandrager (ICIS Radboud University)
- Bow-Yaw Wang (IIS Academia Sinica)
Steering Committee
- Roderick Bloem (Graz University of Technology)
- Bernd Finkbeiner (Saarlad University)
- Viktor Kuncak (École Polytechnique Fédérale de Lausanne)
- Doron Peled (Bar-Ilan University)
- Sven Schewe (University of Liverpool)
- Armando Solar-Lezama (Massachusetts Institute of Technology)
- Eran Yahav (Israel Institute of Technology)
Web Chair
- Marcus Lucas (University of California Los Angeles)