| Armaël Guéneau |
Aarhus University |
| Bas Spitters |
Aarhus University |
| Lars Birkedal |
Aarhus University |
| Hira Taqdees Syeda |
Amazon Web Services |
| John Harrison |
Amazon Web Services |
| Gregory Malecha |
BedRock Systems |
| Joseph Tassarotti |
Boston College |
| Eveleyne Contejean |
CNRS |
| Sophie Tourret |
Inria |
| Sylvie Boldo |
Inria |
| Yves Bertot |
Inria and Université Cote d'Azur |
| Jeehoon Kang |
KAIST |
| Brigitte Pientka |
McGill University |
| Aseem Rastogi |
Microsoft Research |
| Ralf Jung |
MPI-SWS |
| Hongjin Liang |
Nanjing University |
| Alwyn Goodloe |
NASA Langley Research Center |
| Laura Titolo |
National Institute of Aerospace |
| Aquinas Hobor |
National University of Singapore |
| Freek Verbeek |
Open University of the Netherlands, The Netherlands |
| Kathrin Stark |
Princeton University |
| Zoe Paraskevopoulou |
Princeton University |
| Benjamin Delaware |
Purdue University |
| Freek Wiedijk |
Radboud University Nijmegen |
| Qinxiang Cao |
Shanghai Jiao Tong University |
| Joe Hendrix |
SRI International |
| Anders Mörtberg |
Stockholm University |
| Mohammad Abdulaziz |
Technische Universität München |
| Mauricio Ayala-Rincon |
Universidade de Brasilia |
| Thomas Bauereiss |
University of Cambridge |
| Dmitriy Traytel |
University of Copenhagen |
| Cezary Kaliszyk |
University of Innsbruck |
| Andrej Bauer |
University of Ljubljana |
| Toby Murray |
University of Melbourne |
| Steve Zdancewic chair |
University of Pennsylvania |
| Floris van Doorn |
University of Pittsburgh |
| Andrei Popescu chair |
University of Sheffield |
| Simon Foster |
University of York |