Committees

Program Chairs

• Mirco Giacobbe (University of Birmingham)
• Anna Lukina (Delft University of Technology)

Program Committee

• Alessandro Abate (University of Oxford)
• Luca Arnaboldi (University of Birmingham)
• Guy Avni (University of Haifa)
• Stanley Bak (Stony Brook University)
• Clark Barrett (Stanford University)
• Elena Botoeva (University of Kent)
• Dana Drachsler Cohen (Technion)
• Hoang Dung Tran (University of Nebraska)
• Vijay Ganesh (Georgia Tech)
• Thomas A. Henzinger (Institute of Science and Technology Austria)
• Taylor T. Johnson (Vanderbilt University)
• Guy Katz (Hebrew University of Jerusalem)
• Bettina Könighofer (TU Graz)
• Ekaterina Komendantskaya (University of Southampton)
• Jan Křetínský (Masaryk University)
• Linyi Li (Simon Fraser University)
• Alessio Lomuscio (Imperial College London)
• Kaushik Mallik (IMDEA)
• Ravi Mangal (Colorado State University)
• Edoardo Manino (University of Manchester)
• Daniel Neider (TU Dortmund University)
• Corina Pasareanu (Carnegie Mellon University)
• Guillermo Perez (University of Antwerp)
• Luca Pulina (University of Sassari)
• Chelsea Sidrane (KTH Royal Institute of Technology)
• Gagandeep Singh (University of Illinois)
• Christian Schilling (Aalborg University)
• Armando Tacchella (University of Genoa)
• Shufang Zhu (University of Liverloop)
• Đorđe Žikelić (Singapore Management University)

Steering Committee

• Guy Avni (University of Haifa)
• Mirco Giacobbe (University of Birmingham)
• Taylor T. Johnson (Vanderbilt University)
• Guy Katz (Hebrew University of Jerusalem)
• Anna Lukina (Delft University of Technology)
• Nina Narodytska (VMware Research)
• Christian Schilling (Aalborg University)