Program committee



NameAffiliation
Alejandro RussoChalmers University of Technology
Andrea VezzosiWell-Typed LLP
Andrew KennedyFacebook
Arthur CharguéraudInria
Beniamino AccattoliInria & Ecole Polytechnique
Bob AtkeyUniversity of Strathclyde
Brent YorgeyHendrix College
Brigitte Pientka chairMcGill University
Chung-chieh ShanIndiana University
Clément Pit-ClaudelEPFL
Daan LeijenMicrosoft Research Redmond (USA)
Dan LicataWesleyan University
David Van HornUniversity of Maryland
David Thrane ChristiansenLean FRO
Dominic OrchardUniversity of Kent
Ekaterina KomendantskayaHeriot-Watt University & Southampton University
Evelyne ContejeanCNRS
Filip SieczkowskiHeriot-Watt University
Francesco GavazzoUniversity of Padova
Frank PfenningCarnegie Mellon University
Gabriele Keller chairUtrecht University
Jacques CaretteMcMaster University
Jacques GarrigueNagoya University
James CheneyUniversity of Edinburgh
Jonathan ProtzenkoMicrosoft Research
Joseph TassarottiNYU
Katsuhiro UenoNiigata University
Kenji MaillardInria Rennes
Kesha HietalaAmazon Web Services
Koen ClaessenChalmers University of Technology
Laura CastroUniversidade da Coruña
Lindsey KuperUC Santa Cruz
Martin ElsmanUniversity of Copenhagen
Matthieu SozeauInria
Meng WangUniversity of Bristol
Michael SperberActive Group GmbH
Neel Krishnaswami chairUniversity of Cambridge
Nobuko YoshidaUniversity of Oxford
Patricia JohannAppalachian State University
Patrick BahrIT University of Copenhagen
Ralf HinzeUniversitat Kaiserslautern
Ranjit JhalaUniversity of California, San Diego
Richard EisenbergJane Street
Robbert KrebbersRadboud University Nijmegen
Ryosuke SatoTokyo University of Agriculture and Technology
Scott OwensMeta
Shin-Cheng MuAcademia Sinica, Taiwan
Stefan MonnierUniversité de Montréal
Thomas JensenINRIA
Wouter SwierstraUniversity of Utrecht
Zoe ParaskevopoulouNortheastern University and Ethereum Foundation