Organizers

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