Organizing Committee

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

Program Committee

• Fahiem Bacchus, University of Toronto, Canada
• Armin Biere, University of Linz, Austria
• Nikolaj Björner, Microsoft Research, USA
• Uwe Bubeck, University of Paderborn, Germany
• Hans Kleine Büning, University of Paderborn, Germany
• Hubie Chen, Universidad del País Vasco and Ikerbasque, Spain
• Nadia Creignou, Aix-Marseille Université
• Uwe Egly, Vienna University of Technology, Austria
• Allen Van Gelder, University of California at Santa Cruz, USA
• Enrico Giunchiglia, Università di Genova
• Mikoláš Janota, INESC-ID Lisboa, Portugal
• Massimo Narizzano, Università di Genova
• Stefan Szeider, Vienna University of Technology, Austria