Program Chairs
|
| Haniel Barbosa | UFMG, Brazil |
| Guillaume Bury | OCamlPro, France |
Program Committee
|
| Erika Ábrahám | RWTH Aachen University, Germany |
| Nikolaj Bjørner | Microsoft, USA |
| François Bobot | CEA, France |
| Bruno Dutertre | Amazon Web Services, USA |
| Katalin Fazekas | TU Wien, Austria |
| Pascal Fontaine | Université de Liège, Belgium |
| Stéphane Graham-Lengrand | SRI International, USA |
| Alberto Griggio | Fondazione Bruno Kessler, Italy |
| Marijn Heule | Carnegie Mellon University, USA |
| Jochen Hoenicke | Certora, Germany |
| Mikoláš Janota | CIIRC, Czech Republic |
| Ondřej Lengál | Brno University of Technology, Czechia |
| Aina Niemetz | Stanford University, USA |
| Mathias Preiner | Stanford University, USA |
| Andrew Reynolds | University of Iowa and Amazon, USA |
| Philipp Rümmer | University of Regensburg, Germany |
| Hans-Jörg Schurr | KU Leuven, Belgium |
| Natasha Sharygina | Università della Svizzera italiana, Switzerland |
| Sophie Tourret | Inria, France |
| Yoni Zohar | Bar-Ilan University, Israel |