Program Chairs
- Shufang Zhu (University of Liverpool, UK)
- Mark Santolucito (Columbia University, USA)
Program Committee
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)