Program Chairs and Organization

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

Program Committee

• Armin Biere, University of Linz, Austria
• Uwe Egly, Vienna University of Technology, Austria
• Mikoláš Janota, INESC-ID Lisboa, Portugal
• Will Klieber, Software Engineering Institute, Carnegie Mellon University, USA
• Allen Van Gelder, University of California at Santa Cruz, USA