Program Chairs
| Rayna Dimitrova | University of Leicester |
| Vijay D'Silva | Google Inc. |
Program Committee
| Erika Ábrahám | RWTH Aachen |
| Aws Albarghouthi | University of Wisconsin–Madison |
| Leonardo Alt | IBM |
| Maria Paola Bonacina | Università degli Studi di Verona |
| Bruno Dutertre | SRI International |
| Liana Hadarean | Synopsys |
| Guy Katz | Stanford University |
| Zachary Kincaid | Princeton University |
| Tim King | |
| Ruben Martins | Carnegie Mellon University |
| David Monniaux | VERIMAG |
| Alexander Nadel | Intel |
| Aina Niemetz | Stanford University |
| Marie Pelleau | Université Nice Sophia Antipolis |
| Andrew Reynolds | University of Iowa |
| Philipp Rümmer | Uppsala University |
| Thomas Sturm | CNRS |
| Margus Veanes | Microsoft Research |