Program committee



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