Program Chairs
| Martin Brain | Oxford University |
| Liana Hadarean | Synopsys |
Program Committee
| Alberto Griggio | Fondazione Bruno Kessler (FBK) |
| Aina Niemetz | Johannes Kepler University |
| Bruno Dutertre | SRI International |
| Pascal Fontaine | Université de Lorraine |
| Christoph M. Wintersteiger | Microsoft Research |
| Jochen Hoenicke | University of Freiburg |
| Guy Katz | Stanford University |
| Sylvain Conchon | Laboratoire de Recherche en Informatique (LRI) |
| Mate Soos | Gotham Digital Science |
| Alexander Nadel | Intel |
| Jasmin Christian Blanchette | Vrije Universiteit Amsterdam |
| Sicun Gao | MIT |
| Rayna Dimitrova | Max Planck Institute for Software Systems |
| Florian Schanda | Altran |