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