NetPL '17
Program committee
Name
Affiliation
Marco Canini
chair
KAUST
Nik Sultana
chair
University of Pennsylvania
Nikolaj Bjorner
chair
Microsoft Research