Committees
Program Chairs
Program Committee
- Alessandro Abate (University of Oxford)
- Guy Amir (Hebrew University of Jerusalem)
- Guy Avni (University of Haifa)
- Stanley Bak (Stony Brook University)
- Clark Barrett (Stanford University)
- Roderick Bloem (Graz University of Technology)
- Chih-Hong Cheng (Fraunhofer IKS and Technical University of Munich)
- Dana Drachsler Cohen (Technion)
- Mirco Giacobbe (University of Birmingham)
- Thomas Henzinger (Institute of Science and Technology Austria)
- Omri Isac (Hebrew University of Jerusalem)
- Suman Jana (Columbia University)
- Taylor T. Johnson (Vanderbilt University)
- Guy Katz (Hebrew University of Jerusalem)
- Ekaterina Komendantskaya (Heriot-Watt University)
- Martin Lange (University of Kassel)
- Linyi Li (University of Illinois at Urbana-Champaign)
- Alessio Lomuscio (Imperial College London)
- Anna Lukina (Delft University of Technology)
- Ravi Mangal (Carnegie Mellon University)
- Nina Narodytska (VMware Research)
- Daniel Neider (Technical University of Dortmund)
- Corina Pasareanu (Carnegie Mellon University, NASA, KBR)
- Guillermo Perez (University of Antwerp)
- Luca Pulina (University of Sassari)
- Christian Schilling (Aalborg University)
- Gagandeep Singh (UIUC and VMware Research)
- Paulius Stankaitis (Newcastle University)
- Armando Tacchella (Università di Genova)
- Hoang Dung Tran (University of Nebraska-Lincoln)
- Abhinav Verma (Pennsylvania State University)
- Haoze Wu (Stanford University)
- Kaidi Xu (Drexel University)
- Zhen Zhang (Utah State University)
- Yuhao Zhang (University of Wisconsin-Madison)
- Min Zhang (East China Normal University)
- Shufang Zhu (University of Oxford)