| Name | Affiliation |
|---|---|
| Edwin Brady | University of St. Andrews |
| Jacques-Henri Jourdan | Université Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire des méthodes formelles, 91190, Gif-sur-Yvette, France. |
| Jesper Cockx chair | TU Delft |
| Lennart Augustsson | Epic Games |
| Matthieu Sozeau | Inria |
| Ningning Xie | University of Toronto |
| Richard Eisenberg chair | Jane Street |