Program Chairs
- Yong Li (University of Liverpool, UK)
- Anders Miltner (Simon Fraser University, CA)
- Nadia Polikarpova (University of Carlifornia San Diego, USA)
Program Committee
- Jianwen Li (East China Normal University, China)
- Hila Peleg (Technion, Israel)
- Guillermo A. Perez (University of Antwerp, Belgium)
- Sven Schewe (University of Liverpool, UK)
- Xinyu Wang (University of Michigan & Microsoft, USA)
Steering Committee
- Roderick Bloem (Graz University of Technology)
- Bernd Finkbeiner (Saarland 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)