Program Chairs and Organization

• Florian Lonsing, Vienna University of Technology, Austria
• Martina Seidl, University of Linz, Austria

Program Committee

• Fahiem Bacchus, University of Toronto, Canada
• Olaf Beyersdorff, University of Leeds, UK
• Jasmin Christian Blanchette, Inria Nancy and LORIA, France
• Hubie Chen, Universidad del Pais Vasco and Ikerbasque, Spain
• Marijn Heule, The University of Texas at Austin, USA
• Jie-Hong Roland Jiang, National Taiwan University, Taiwan
• Friedrich Slivovsky, TU Wien, Asutria