Program committee



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