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