| Andreas Rossberg | |
| António Monteiro | Recall AI |
| Carine Morel | Tarides |
| Clément Allain | Aarhus University |
| Jean-Christophe Filliâtre | CNRS |
| Jérôme Vouillon | Tarides |
| John Whitington | Coherent Graphics Ltd |
| Marko Doko | Heriot-Watt University |
| Patrick Ferris | University of Cambridge |
| Paulo de Vilhena chair | University of Surrey |
| Pedro Carrott | Imperial College London |
| Robbert Krebbers | Radboud University Nijmegen |
| Sadiq Jaffer | University of Cambridge |
| Simon Cruanes | Ahrefs |
| Sudha Parimala chair | Tarides |
| Tim McGilchrist | Tarides |
| Vimala Soundarapandian | IIT Madras |
| Vincent Laviron | OCamlPro |