Program committee



NameAffiliation
Shriram KrishnamurthiBrown University, USA
Richard EisenbergBryn Mawr College / Tweag I/O
Stefan MullerCarnegie Mellon University
Jan HoffmannCarnegie Melon University
Magnus MyreenChalmers University of Technology
Jerome SimeonClause, Inc
Stephanie BalzerCMU
Giuseppe CastagnaCNRS - Université de Paris
Ross TateCornell University
Dimitrios VytiniotisDeepMind
Robbert KrebbersDelft University of Technology
Makoto HamanaDepartment of Computer Science, Gunma University
John WiegleyDFINITY
Troels HenriksenDIKU, University of Copenhagen
Geoffrey MainlandDrexel University
Beta ZilianiFAMAF, UNC and CONICET
Andreas AbelGothenburg University
KC SivaramakrishnanIIT Madras
Juan Pedro Bolívar Puenteindependent
Chung-chieh ShanIndiana University
Nicolas TabareauInria
Delia KesnerIRI - Université de Paris
Patrick BahrIT University of Copenhagen
Rasmus Ejlers MøgelbergIT University of Copenhagen
Andrey MokhovJane Street
Sebastian ErdwegJGU Mainz
Frank PiessensKU Leuven
Tom SchrijversKU Leuven, Belgium
Brigitte PientkaMcGill University
Jonathan ProtzenkoMicrosoft Research
Leonardo de MouraMicrosoft Research
Adam Chlipala chairMIT
Ivan PerezNational Institute of Aerospace / NASA Formal Methods Group
Benjamin CanouNomadic Labs
Vincent St-AmourNorthwestern University
Kenichi AsaiOchanomizu University
Tiark RompfPurdue University
Matthew FluetRochester Institute of Technology
Aaron StumpThe University of Iowa
Atsushi OhoriTohoku University
Youyou CongTokyo Institute of Technology
Guido SalvaneschiTU Darmstadt
Jesper CockxTU Delft
Norman RamseyTufts University
Ronald Garcia chairUniversity of British Columbia
Nadia PolikarpovaUniversity of California, San Diego
Fritz HengleinUniversity of Copenhagen (Denmark)
Jean-Philippe BernardyUniversity of Gothenburg
J. Garrett MorrisUniversity of Kansas
Dominic OrchardUniversity of Kent
Danel AhmanUniversity of Ljubljana
Cyrus OmarUniversity of Michigan
Jennifer HackettUniversity of Nottingham
Jan MidtgaardUniversity of Southern Denmark
Edwin BradyUniversity of St. Andrews
David DaraisUniversity of Vermont
Aws AlbarghouthiUniversity of Wisconsin-Madison
Sandrine BlazyUniv Rennes, IRISA
Christine RizkallahUNSW Sydney
Gabriele KellerUtrecht University