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