Name | Affiliation |
---|---|
Niki Vazou | University of Maryland |
Filip Sieczkowski | University of Wrocław |
Aseem Rastogi | Microsoft Research |
Azalea Raad | Imperial College London |
Matija Pretnar | University of Ljubljana |
Francois Pottier chair | Inria |
Vivek Nigam | fortiss |
Aleks Nanevski chair | IMDEA Software Institute |
Robbert Krebbers | Delft University of Technology |
Atsushi Igarashi | Kyoto University |
Pierre-Évariste Dagand | LIP6/CNRS |
Edwin Brady | University of St. Andrews |