| Name | Affiliation |
|---|---|
| András Kovács | Eötvös Loránd University, Budapest |
| Niki Vazou | IMDEA Software Institute |
| Pierre-Marie Pédrot | Inria, France |
| Leonardo de Moura | Microsoft Research |
| Aaron Stump | The University of Iowa |
| Jesper Cockx chair | TU Delft |
| Richard Eisenberg chair | Tweag |
| William J. Bowman | University of British Columbia |