| Aaron Stump | The University of Iowa |
| Akash Lal | Microsoft Research |
| Alan Jeffrey | Roblox |
| Alastair Donaldson | Imperial College London / Google |
| Aleksandar Nanevski | IMDEA Software Institute |
| Amal Ahmed chair | Northeastern University (USA) |
| Amr Sabry | Indiana University |
| Andreas Abel | Gothenburg University |
| Andreas Podelski | University of Freiburg |
| Andrew Tolmach | Portland State University |
| Andrzej Murawski | University of Oxford |
| Arthur Chargueraud | Inria |
| Azalea Raad | Imperial College London |
| Benjamin Delaware | Purdue University |
| Benjamin C. Pierce | University of Pennsylvania |
| Brigitte Pientka | McGill University |
| Christoph Matheja | Technical University of Denmark |
| Christopher Pulte | University of Cambridge |
| Clément Pit-Claudel | EPFL |
| Conrad Watt | University of Cambridge |
| Constantin Enea | Ecole Polytechnique |
| Corina Pasareanu | Carnegie Mellon University |
| Damien Pous | ENS Lyon |
| Dan Licata | Wesleyan University |
| David Naumann | Stevens Institute of Technology |
| David Pichardie | Meta |
| David Walker | Princeton University |
| Deepak Garg | Max Planck Institute for Software Systems |
| Dominic Orchard | University of Kent |
| Eijiro Sumii | Tohoku University |
| Ekaterina Komendantskaya | Heriot-Watt University |
| Elena Zucca | University of Genova |
| Éric Tanter | University of Chile |
| Francesco Zappa Nardelli | Meta |
| Francois Pottier | Inria |
| Giuseppe Castagna | CNRS - Université Paris Cité |
| Hugo Herbelin | INRIA |
| Ichiro Hasuo | National Institute of Informatics |
| Isabella Mastroeni | University of Verona |
| Jacques-Henri Jourdan | Université Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire des méthodes formelles, 91190, Gif-sur-Yvette, France. |
| Jonathan Sterling | Aarhus University |
| Joost-Pieter Katoen | RWTH-Aachen University, Germany |
| Joseph Tassarotti | NYU |
| Josh Berdine | Meta |
| Karthikeyan Bhargavan | INRIA |
| Klaus Ostermann | University of Tuebingen |
| Koen Claessen | Chalmers University of Technology |
| Laura Kovacs | TU Wien |
| Lindsey Kuper | UC Santa Cruz |
| Loris D'Antoni | University of Wisconsin Madison |
| Malavika Samak | Apple Inc. |
| Marco Patrignani | University of Trento |
| Marco Vassena | Utrecht University |
| Matteo Maffei | TU Wien |
| Michael Greenberg | Stevens Institute of Technology |
| Michele Pagani | IRIF, Université de Paris Cité |
| Mila Dalla Preda | University of Verona |
| Mohsen Lesani | Univsersity of California, Riverside |
| Nada Amin | Harvard University |
| Nadia Polikarpova | University of California, San Diego |
| Nicolas Tabareau | Inria |
| Ningning Xie | University of Cambridge |
| Noam Rinetzky | Tel Aviv University |
| Oded Padon | VMware Research |
| Ohad Kammar | University of Edinburgh |
| Ornela Dardha | University of Glasgow |
| Patricia Johann | Appalachian State University |
| Ralf Jung | Massachusetts Institute of Technology |
| Richard Eisenberg | Tweag |
| Robbert Krebbers | Radboud University Nijmegen |
| Robby Findler | Northwestern University, U.S.A. |
| Robert Rand | University of Chicago |
| Sam Tobin-Hochstadt | Indiana University |
| Santosh Nagarakatte | Rutgers University |
| Stephanie Balzer | Carnegie Mellon University |
| Suresh Jagannathan | Purdue University |
| Taro Sekiyama | National Institute of Informatics |
| Tej Chajed | VMware Research |
| Théo Winterhalter | MPI-SP |
| Todd Millstein | UCLA |
| Ugo Dal Lago | University of Bologna & INRIA Sophia Antipolis |
| Umang Mathur | National University of Singapore |
| Xavier Leroy | Collège de France and Inria |
| Zhenjiang Hu | Peking University |