Program committee



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