Adam Chlipala | MIT (USA) |
Akimasa Morihata | University of Tokyo |
Alejandro Russo | Chalmers University of Technology (Sweden) |
Aleksandar Nanevski | IMDEA Software Institute |
Amal Ahmed | Northeastern University (USA) |
Amr Sabry | Indiana University |
Andreas Rossberg | Google (Germany) |
Andres Löh | Well-Typed LLP |
Arthur Chargueraud | Inria |
Ben Lippmeier | Vertigo Technology |
Benjamin C. Pierce | University of Pennsylvania |
Beta Ziliani | FAMAF / CONICET |
Bruno Oliveira | University of Hong Kong |
Conor McBride | University of Strathclyde |
Dan Grossman | University of Washington |
Daniel Licata | Wesleyan University |
David Van Horn | University of Maryland at College Park, USA |
David Walker | Princeton University |
Derek Dreyer | MPI-SWS |
Dimitrios Vytiniotis | Microsoft Research |
Dominique Devriese | KU Leuven |
Eijiro Sumii chair | Tohoku University |
Francois Pottier | Inria |
Geoffrey Mainland | Drexel University |
Georg Neis | MPI-SWS, Germany |
James Cheney | University of Edinburgh |
Jeremy Gibbons | Department of Computer Science, University of Oxford |
Joshua Dunfield | University of British Columbia (Canada) |
Jurriaan Hage | Department of Information and Computing Sciences, Utrecht University |
Katsuhiro Ueno | Tohoku University |
Kazutaka Matsuda | Tohoku University |
Keisuke Nakano | The University of Electro-Communications |
Kent Dybvig | Cisco Systems, Inc. and Indiana University |
Koen Claessen | Chalmers University of Technology |
Lars Bergstrom | Mozilla |
Lars Birkedal | Aarhus University |
Matthew Flatt | University of Utah, USA |
Matthew Fluet | Rochester Institute of Technology |
Matthew Might | University of Utah |
Matthias Blume | Google (USA) |
Meng Wang | University of Kent |
Mike Rainey | Inria |
Nate Foster | Cornell University |
Neelakantan Krishnaswami | University of Birmingham |
Nicolas Wu | University of Bristol, UK |
Nikhil Swamy | Microsoft Research |
Nobuko Yoshida | Imperial College London |
Olin Shivers | Northeastern University |
Peter Sewell | University of Cambridge |
Pierre Geneves | CNRS |
Ralf Hinze | Radboud University Nijmegen |
Roman Leshchinskiy | Facebook |
Ryan Newton | Indiana University (USA) |
Sam Lindley | University of Edinburgh |
Sam Tobin-Hochstadt | Indiana University, USA |
Scott Owens | University of Kent |
Sebastian Fischer | University of Kiel |
Simon Marlow | Facebook |
Simon Peyton Jones | Microsoft Research Cambridge |
Stefan Holdermans | Vector Fabrics |
Sungwoo Park | POSTECH |
Suresh Jagannathan | Purdue University (USA) |
Tiark Rompf | Purdue University |
Tim Sheard | Portland State University |
Tom Schrijvers | KU Leuven |
Walid Taha | Halmstad University, Rice Univeristy |
Zhenjiang Hu | National Institute of Informatics |