Program committee



NameAffiliation
Andreas RossbergDfinity Foundation
Andrey MokhovJane Street
BenoƮt MontaguInria
Daan LeijenMicrosoft Research Redmond (USA)
David AllsoppTarides UK
Gabriel SchererINRIA
Guillaume Munch-MaccagnoniINRIA
Jacques GarrigueNagoya University
Julia LawallInria
Lars BergstromGoogle
Martin ElsmanUniversity of Copenhagen
Matija PretnarUniversity of Ljubljana
Matthew FluetRochester Institute of Technology
NingNing XieU. Toronto
Oleg Kiselyov chairTohoku University
Tomas PetricekUniversity of Kent