| Leonardo Alt | Ethereum Foundation |
| Clark Barrett | Stanford University |
| François Bobot | CEA |
| Martin Brain | City, University of London |
| Simon Cruanes | Imandra |
| Rayna Dimitrova | CISPA Helmholtz Center for Information Security |
| Bruno Dutertre | Amazon Web Services |
| Katalin Fazekas | TU Wien |
| Jochen Hoenicke | Certora |
| Antti Hyvärinen | Certora |
| Ahmed Irfan | SRI International |
| Mikolas Janota | Czech Technical University in Prague |
| Martin Jonáš | Masaryk University, Czech Republic |
| Daniela Kaufmann | TU Wien |
| Aina Niemetz | Stanford University |
| Andres Noetzli | Cubist Inc |
| Tanja Schindler | University of Liège |
| Hans-Jörg Schurr | University of Iowa |
| Sophie Tourret | INRIA and MPI for Informatics |
| Yoni Zohar | Bar Ilan University |