Program committee

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