PC chairs Chris Benzmüller, University of Bamberg, Germany Marijn Heule, Carnegie Mellon University, U.S.A. Renate Schmidt, University of Manchester, UK PC members TBA