Program committee

Name	Affiliation
Elisa Gonzalez Boix chair	Vrije Universiteit Brussel
Guido Salvaneschi	TU Darmstadt
Philipp Haller	KTH Royal Institute of Technology
Zach Tatlock	University of Washington