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