Program Chairs
- Supratik Chakraborty (Indian Institute of Technology Bombay)
- K. S. Thejaswini (Institute of Science and Technology, Austria)
Program Committee
- TBD
- TBD
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)