Name Affiliation
Andrew Appel Princeton
Gilles Barthe IMDEA
Nick Benton MSR Cambridge
Lars Birkedal Aarhus University
Ahmed Bouajjani University Paris Diderot
James Cheney University of Edinburgh
Mads Dam KTH Royal Institute of Technology
Thomas Dillig College of William & Mary
Dino Distefano Queen Mary
Sophia Drossopoulou Imperial College London
Nate Foster Cornell University
Atsushi Igarashi Kyoto University
Alan Jeffrey Alcatel-Lucent Bell Labs
Neelakantan Krishnaswami University of Birmingham
Aditya Nori MSR India
Noam Rinetzky Tel Aviv University
Xavier Rival INRIA Paris-Rocquencourt
Andrey Rybalchenko Microsoft Resesrch Cambridge and TUM
Peter Sewell (Chair) University of Cambridge
Jeremy Siek Indiana University
Nikhil Swamy MSR Redmond
Ross Tate Cornell University
Tayssir Touili CNRS Paris
Aaron Turon MPI-SWS
Viktor Vafeiadis MPI-SWS
Stephanie Weirich University of Pennsylvania
Thomas Wies New York University
Elena Zucca Università degli Studi di Genova