Program Chairs and Organization

• Hubie (Hubert) Chen, Universidad del Pais Vasco and Ikerbasque
• Florian Lonsing, Vienna University of Technology, Austria
• Martina Seidl, University of Linz, Austria

Program Committee

• Olaf Beyersdorff, University of Leeds
• Nikolaj Bjorner, Microsoft Research
• Jasmin Blanchette, TU Munich
• Mikolas Janota, INESC-ID Lisboa
• Laura Kovacs, Chalmers University of Technology
• Francesco Scarcello, DIMES, University of Calabria
• Christoph Wintersteiger, Microsoft Research