Program committee



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