| Amin Timany | Aarhus University |
| Anders Mörtberg | Stockholm University |
| Andreas Lochbihler | Digital Asset |
| Andrei Popescu chair | University of Sheffield |
| Angeliki Koutsoukou-Argyraki | University of Cambridge |
| Arthur Azevedo de Amorim | Carnegie Mellon University |
| Brijesh Dongol | University of Surrey |
| Catalin Hritcu chair | MPI-SP |
| Christoph Weidenbach | MPI-INF |
| Chung-Kil Hur | Seoul National University |
| Cyril Cohen | Inria |
| Damien Pous | CNRS, ENS Lyon |
| Ekaterina Komendantskaya | Heriot-Watt University |
| Floris van Doorn | University of Pittsburgh |
| Freek Wiedijk | Radboud University Nijmegen |
| Hongjin Liang | Nanjing University |
| Ilya Sergey | Yale-NUS College and National University of Singapore |
| Jesper Cockx | TU Delft |
| Joachim Breitner | DFINITY Foundation |
| Johannes Åman Pohjola | Data61, CSIRO |
| Josef Urban | Czech Technical University in Prague |
| June Andronick | Proofcraft, UNSW and seL4 Foundation |
| Karl Palmskog | KTH Royal Institute of Technology |
| Kathrin Stark | Princeton University |
| Moa Johansson | Chalmers University of Technology |
| Natarajan Shankar | SRI International Computer Science Laboratory |
| Nils Anders Danielsson | University of Gothenburg |
| Petar Maksimović | Imperial College London |
| René Thiemann | University of Innsbruck |
| Reynald Affeldt | AIST |
| Robert Lewis | Vrije Universiteit Amsterdam |
| Sam Owre | SRI International |
| Shilpi Goel | Centaur Technology, Inc |
| Tahina Ramananandro | Microsoft Research |
| William Mansky | University of Illinois at Chicago |
| Yannick Forster | Saarland University |
| Yannick Zakowski | Upenn then Inria |