Program committee

Name	Affiliation
Nik Sultana chair	University of Pennsylvania
Nikolaj Bjorner chair	Microsoft Research
Marco Canini chair	KAUST