Program Chairs
|
| Jochen Hoenicke | Certora, Germany |
| Sophie Tourret | Inria, France |
Program Committee
|
| Haniel Barbosa | Universidade Federal de Minas Gerais, Brazil |
| Nikolaj Bjørner | Microsoft, US |
| Maria Paola Bonacina | Università degli Studi di Verona, Italy |
| Guillaume Bury | OCamlPro, France |
| Bruno Dutertre | Amazon Web Services, US |
| Katalin Fazekas | TU Wien, Austria |
| Pascal Fontaine | Université de Liège, Belgium |
| Florian Frohn | RWTH Aachen University, Germany |
| Alessandro Gianola | Lisbon University, Portugal |
| Stéphane Graham-Lengrand | SRI International, US |
| Alberto Griggio | Fondazione Bruno Kessler, Italy |
| Martin Jonáš | Masaryk University, Czechia |
| Alexander Nadel | Technion & NVIDIA, Israel |
| Aina Niemetz | Stanford University, US |
| Mathias Preiner | Stanford University, US |
| Philipp Rümmer | University of Regensburg, Germany |
| Hans-Jörg Schurr | University of Iowa, US |
| Natasha Sharygina | University of Lugano, Switzerland |
| Cesare Tinelli | The University of Iowa, US |
| Yoni Zohar | Bar-Ilan University, Israel |
