| 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 |