Program committee



Name Affiliation
Michael D. Adams University of Utah
Robert Atkey University of Strathclyde
Lennart Beringer Princeton University
Joachim Breitner DFINITY Foundation
Laura M. Castro Universidade da Coruña
Sheng Chen UL Lafayette
James Cheney University of Edinburgh
Adam Chlipala MIT
Ezgi Çiçek Facebook London
Évelyne Contejean CNRS
Pierre-Évariste Dagand CNRS - Inria Paris - Sorbonne Université - LIP6
Germán Andrés Delbianco IRIF - Université Paris Diderot
Dominique Devriese Vrije Universiteit Brussel
Christos Dimoulas Northwestern University
Derek Dreyer MPI-SWS
Richard Eisenberg Bryn Mawr College
Conal Elliott Target
Sebastian Erdweg JGU Mainz
Michael Greenberg Pomona College
Adrien Guatto Institut de Recherche en Informatique Fondamentale & Université Paris 7
Jennifer Hackett University of Nottingham
Troels Henriksen DIKU, University of Copenhagen
Chung-Kil Hur Seoul National University
Roberto Ierusalimschy PUC-Rio
Ranjit Jhala University of California, San Diego
Jacques-Henri Jourdan LRI, CNRS UMR 8623, Université Paris Sud
Ralf Jung MPI-SWS
Ohad Kammar University of Edinburgh
Andrew Kennedy Facebook
Oleg Kiselyov Tohoku University
Hsiang-Shang ‘Josh’ Ko Institute of Information Science, Academia Sinica, Taiwan
Daan Leijen Microsoft Research Redmond (USA)
Ondřej Lhoták University of Waterloo
Dan Licata Wesleyan University
Geoffrey Mainland Drexel University
Simon Marlow Facebook
Kazutaka Matsuda Tohoku University
Akimasa Morihata University of Tokyo
Shin-Cheng Mu Academia Sinica, Taiwan
Guillaume Munch-Maccagnoni Inria
Kim Nguyen LRI - Université Paris Sud
Ulf Norell University of Gothenburg
Atsushi Ohori Tohoku University
Bruno C. d. S. Oliveira University of Hong Kong
Klaus Ostermann University of Tuebingen
Rex Page Univ Oklahoma
Zoe Paraskevopoulou Princeton University
Jennifer Paykin Galois
Frank Pfenning Carnegie Mellon University
Nadia Polikarpova University of California, San Diego
Francois Pottier chair Inria
Jonathan Protzenko Microsoft Research
Mike Rainey Inria and Center for Research in Extreme Scale Technologies (CREST)
Tiark Rompf Purdue University
Andreas Rossberg Google (Germany)
Konstantinos Sagonas Uppsala University
Chung-chieh Shan Indiana University
KC Sivaramakrishnan Indian Institute of Technology, Madras
Nick Smallbone Chalmers University of Technology
Matthieu Sozeau Inria & PPS
Sam Staton University of Oxford
Pierre-Yves Strub École Polytechnique
Sandro Stucki Gothenburg University / Chalmers University of Technology
Don Syme Microsoft Research
Zachary Tatlock University of Washington
Sam Tobin-Hochstadt Indiana University
Takeshi Tsukada The University of Tokyo
Tarmo Uustalu Tallinn University of Technology
Benoît Valiron CentraleSupelec -- LRI Univ Paris Saclay
German Vidal Universitat Politecnica de Valencia
Daniel Winograd-Cort Target
Nicolas Wu Imperial College London