| Name | Affiliation |
|---|---|
| Fabian Zaiser | MIT |
| Georges-Axel Jaloyan | Ministère de l'Économie et des Finances |
| Ilya Sergey | National University of Singapore |
| Jacques-Henri Jourdan | Université Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire des méthodes formelles, 91190, Gif-sur-Yvette, France. |
| Joseph Tassarotti | New York University |
| K Rustan M Leino | Amazon Web Services |
| Olivier Bouissou | Amazon |
| Stefan Zetzsche chair | Amazon Web Services |
| Thierry Lecomte | ClearSy |
| Yann Herklotz | EPFL |
| Yannick Moy chair | ANSSI |