Committees

Program Chairs

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

Program Committee

TBD

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)