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