Program committee



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