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