| Katalin Fazekas | TU Wien |
| Viktor Kuncak | Ecole Polytechnique Fédérale de Lausanne |
| Ahmed Irfan | SRI International |
| Aina Niemetz | Stanford University |
| Andrew Reynolds | University of Iowa |
| Daniela Kaufmann | TU Wien |
| Haniel Barbosa | Universidade Federal de Minas Gerais |
| Nadia Labai | Amazon |
| Clark Barrett | Stanford University |
| Alexander Nadel | Technion and Intel |
| Philipp Rümmer | University of Regensburg |
| Nestan Tsiskaridze | Stanford University |
| Guilherme Toledo | Bar-Ilan University |
| Yannick Moy | AdaCore |
| Martin Suda | Czech Technical University in Prague |
| Stéphane Graham-Lengrand | SRI International |
| François Bobot | CEA |
| Mate Soos | Ethereum Foundation |
| Nikolaj Bjørner | Microsoft |