Program committee



Name Affiliation
Adam Chlipala MIT
Adam Welc Oracle
Alastair Donaldson Imperial College
Alex Potanin chair Victoria University of Wellington
Alex Summers ETH Zurich
Craig Anslow chair Middlesex University
Elisa Baniassad University of British Columbia
Elisa Gonzalez Boix Vrije Universiteit Brussel
Guido Salvaneschi TU Darmstadt
Ilya Sergey UCL
Judith Bishop University of Stellenbosch
Julia Lawall Inria
Matthew Hammer University of Colorado Boulder
Matthias Hauswirth University of Lugano
Michael Pradel TU Darmstadt
Nada Amin EPFL
Nick Sumner Simon Fraser University
Paley Li Northeastern University
Philipp Haller KTH Royal Institute of Technology
Sarah Mount Kings College London
Sebastian Erdweg TU Delft
Stefan Marr Johannes Kepler University