Program committee



NameAffiliation
Adam ChlipalaMIT (USA)
Akimasa MorihataUniversity of Tokyo
Alejandro RussoChalmers University of Technology (Sweden)
Aleksandar NanevskiIMDEA Software Institute
Amal AhmedNortheastern University (USA)
Amr SabryIndiana University
Andreas RossbergGoogle (Germany)
Andres LöhWell-Typed LLP
Arthur ChargueraudInria
Ben LippmeierVertigo Technology
Benjamin C. PierceUniversity of Pennsylvania
Beta ZilianiFAMAF / CONICET
Bruno OliveiraUniversity of Hong Kong
Conor McBrideUniversity of Strathclyde
Dan GrossmanUniversity of Washington
Daniel LicataWesleyan University
David Van HornUniversity of Maryland at College Park, USA
David WalkerPrinceton University
Derek DreyerMPI-SWS
Dimitrios VytiniotisMicrosoft Research
Dominique DevrieseKU Leuven
Eijiro Sumii chairTohoku University
Francois PottierInria
Geoffrey MainlandDrexel University
Georg NeisMPI-SWS, Germany
James CheneyUniversity of Edinburgh
Jeremy GibbonsDepartment of Computer Science, University of Oxford
Joshua DunfieldUniversity of British Columbia (Canada)
Jurriaan HageDepartment of Information and Computing Sciences, Utrecht University
Katsuhiro UenoTohoku University
Kazutaka MatsudaTohoku University
Keisuke NakanoThe University of Electro-Communications
Kent DybvigCisco Systems, Inc. and Indiana University
Koen ClaessenChalmers University of Technology
Lars BergstromMozilla
Lars BirkedalAarhus University
Matthew FlattUniversity of Utah, USA
Matthew FluetRochester Institute of Technology
Matthew MightUniversity of Utah
Matthias BlumeGoogle (USA)
Meng WangUniversity of Kent
Mike RaineyInria
Nate FosterCornell University
Neelakantan KrishnaswamiUniversity of Birmingham
Nicolas WuUniversity of Bristol, UK
Nikhil SwamyMicrosoft Research
Nobuko YoshidaImperial College London
Olin ShiversNortheastern University
Peter SewellUniversity of Cambridge
Pierre GenevesCNRS
Ralf HinzeRadboud University Nijmegen
Roman LeshchinskiyFacebook
Ryan NewtonIndiana University (USA)
Sam LindleyUniversity of Edinburgh
Sam Tobin-HochstadtIndiana University, USA
Scott OwensUniversity of Kent
Sebastian FischerUniversity of Kiel
Simon MarlowFacebook
Simon Peyton JonesMicrosoft Research Cambridge
Stefan HoldermansVector Fabrics
Sungwoo ParkPOSTECH
Suresh JagannathanPurdue University (USA)
Tiark RompfPurdue University
Tim SheardPortland State University
Tom SchrijversKU Leuven
Walid TahaHalmstad University, Rice Univeristy
Zhenjiang HuNational Institute of Informatics