Committees

Program Chairs

• Guy Avni (University of Haifa)
• Christian Schilling (Aalborg University)

Program Committee

• Luca Arnaboldi (University of Birmingham)
• Guy Avni (University of Haifa)
• Elena Botoeva (University of Kent)
• Dana Drachsler Cohen (Technion)
• Hoang Dung Tran (University of Nebraska)
• Nathanaël Fijalkow (CNRS)
• Mirco Giacobbe (University of Birmingham)
• Thomas A. Henzinger (Institute of Science and Technology Austria)
• Omri Isac (Hebrew University of Jerusalem)
• Nils Jansen (Ruhr-University Bochum
• 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)
• Luca Pulina (University of Sassari)
• Chelsea Sidrane (KTH Royal Institute of Technology)
• Christian Schilling (Aalborg University)
• Đ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)