Program committee

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