Program committee



Name Affiliation
Alberto Momigliano Unversity of Milan
Alwen Tiu The Australian National University
Andres Erbsen Google
Arthur Chargueraud Inria
Bas Spitters Aarhus University
Benedikt Ahrens Delft University of Technology
Brigitte Pientka chair McGill University
Christine Paulin-Mohring Université Paris-Saclay
Enrico Tassi Inria
Evelyne Contejean CNRS
Francisco Ferreira Royal Holloway, University of London
Hsiang-Shang ‘Josh’ Ko Institute of Information Science, Academia Sinica, Taiwan
Jacques Carette McMaster University
Jean-Baptiste Tristan AWS
Jeremy Avigad Carnegie Mellon University
Jesper Cockx TU Delft
Kesha Hietala Amazon Web Services
Kuen-Bang Hou (Favonia) University of Minnesota
Magnus Myreen Chalmers University of Technology
Michael Norrish Australian National University
Paige Randall North Utrecht University
Peter Lammich UTwente
Philipp Ruemmer Uppsala University
Robert Atkey University of Strathclyde
Sandrine Blazy chair Univ Rennes, Inria, CNRS, IRISA
Sarah Loos Unaffiliated
Tahina Ramananandro Microsoft Research
Théo Winterhalter INRIA Saclay
Thomas Bourgeat EPFL
Vadim Zaliva University of Cambridge
Wen Kokke University of Edinburgh
Yong Kiam Tan Institute for Infocomm Research, A*STAR