| Conference chair: | Geoff Sutcliffe, University of Miami |
| Program chairs: |
Nikolaj Bjørner, Microsoft Research Andrei Voronkov, The University of Manchester |
| Workshop chair: | Laura Kovacs, Vienna University of Technology |
| Local arrangements: |
Jose Aguilar, Universidad de Los Andes Blanca Abraham |