| Haniel Barbosa | Universidade Federal de Minas Gerais |
| Clark Barrett | Stanford University |
| Nikolaj Bjorner | Microsoft Research |
| Simon Cruanes | Aesthetic Integration |
| Pascal Fontaine | Université de Lorraine |
| Stéphane Graham-Lengrand | SRI International |
| Alberto Griggio | Fondazione Bruno Kessler |
| Antti Hyvärinen | Università della Svizzera italiana |
| Mohamed Iguernelala | OcamlPro |
| Dejan Jovanović | SRI International |
| Chantal Keller | LRI, Université Paris-Sud |
| Yannick Moy | AdaCore |
| Aina Niemetz | Stanford University |
| Marie Pelleau | Université Nice Sophia Antipolis |
| Mathias Preiner | Stanford University |
| Giles Reger | University of Manchester |
| Andrew Reynolds | University of Iowa |
| Natasha Sharygina | Università della Svizzera italiana |
| Peter J. Stuckey | Monash University |
| Cesare Tinelli | University of Iowa |