| Aart Middeldorp | University of Innsbruck |
| Abhishek Singh | IIIT Hyderabad |
| Anders Mörtberg | Stockholm University |
| Andrej Bauer | University of Ljubljana |
| Anne Baanen | Mathlib Initiative |
| Ariel Kellison | Code Metal (prev. Cornell) |
| Assia Mahboubi | Inria (Gallinette) / VU Amsterdam |
| Chantal Keller | LMF / Université Paris-Saclay |
| Chelsea Edmonds | University of Western Australia |
| Christine Rizkallah | University of Melbourne |
| Cyril Cohen chair | Inria |
| Denis Firsov | Tallinn University of Technology |
| Derek Dreyer | MPI-SWS |
| Dmitriy Traytel | University of Copenhagen |
| Dominik Kirst | Inria Saclay |
| Holger Thies | Kyoto University |
| Ian Shillito | University of Melbourne |
| Jannis Limperg | Axiom Math |
| Jonas Kastberg Hinrichsen | Aalborg University |
| Julie Cailler | University of Lorraine, CNRS, Inria, LORIA, Nancy |
| Julien Narboux | Univ. Paris Cité |
| Kathrin Stark | Heriot-Watt University |
| Kaustuv Chaudhuri | Inria Saclay / LIX, École Polytechnique |
| Kenji Maillard | Inria -- LS2N, University of Nantes |
| Lawrence C. Paulson | University of Cambridge (Emeritus) |
| María Inés de Frutos-Fernández | Universität Bonn |
| Martin Bodin | Inria |
| Matthieu Sozeau | Inria |
| Mauricio Ayala-Rincón | University of Brasília/Federal University of Goiás |
| Nada Amin | Harvard University |
| Nikhil Swamy chair | MSR |
| Patricia Johann | Appalachian State University |
| Qinxiang Cao | Shanghai Jiao Tong University |
| René Thiemann | University of Innsbruck |
| Reynald Affeldt | AIST |
| Sébastien Gouëzel | Université de Rennes |
| Simon Oddershede Gregersen | CISPA Helmholtz Center for Information Security |
| Sophie Morel | CNRS/UMPA |
| Stéphane Graham-Lengrand | SRI |
| Tobias Nipkow | TU Munich |
| Viktor Vafeiadis | MPI-SWS |
| Xavier Allamigeon | Inria & École polytechnique |
| Yann Herklotz | EPFL |
| Yannick Forster | Inria (Cambium) |
| Yao Li | Portland State |
| Yonghyun Kim | MPI-SP |