| Aaron Stump |
The University of Iowa |
| Amin Timany |
Aarhus University |
| Anja Petković Komel |
TU Wien |
| Anna Slobodova |
Intel |
| Brigitte Pientka chair |
McGill University |
| César Muñoz |
Amazon Web Services |
| Chantal Keller |
LMF, University Paris-Saclay |
| Chris Hawblitzel |
Microsoft Research |
| Christine Rizkallah |
University of Melbourne |
| Clément Pit-Claudel |
EPFL / AWS |
| Cody Roux |
AWS |
| Denis Firsov |
Talinn University of Technology/GuardTime |
| Elsa Gunter |
University of Illinois at Urbana-Champaign |
| Josef Urban |
Czech Technical University in Prague |
| Kazuhiko Sakaguchi |
Inria |
| Kenji Maillard |
Inria Rennes |
| Koen Claessen |
Chalmers University of Technology |
| Lawrence Paulson |
University of Cambridge |
| Leonardo de Moura |
Microsoft Research |
| Marie Kerjean |
CNRS |
| Milos Gligoric |
The University of Texas at Austin |
| Pierre-Marie Pédrot |
Inria |
| Ranald Clouston |
Australian National University |
| René Thiemann |
University of Innsbruck |
| Reynald Affeldt |
National Institute of Advanced Industrial Science and Technology (AIST) |
| Stephane Graham-Lengrand |
SRI International |
| Steve Zdancewic chair |
University of Pennsylvania |
| Tej Chajed |
VMware Research |
| Tjark Weber |
Uppsala University |
| Tobias Nipkow |
Technische Universität München |
| Viktor Vafeiadis |
MPI-SWS |
| Xinyu Feng |
Nanjing University |
| Yannick Forster |
Inria Nantes |
| Yoonseung Kim |
Yale University |
| Yuting Wang |
Shanghai Jiao Tong University - John Hopcroft Center for Computer Science |