Committees

Program Chairs

• Olaf Beyersdorff (Friedrich Schiller University Jena, DE)
• Christoph M. Wintersteiger (Microsoft, UK)

Workshop Chair

• Martina Seidl (Johannes Kepler University Linz)

Program Committee

• Gilles Audemard (CRIL)
• Fahiem Bacchus (University of Toronto)
• Armin Biere (Johannes Kepler University Linz)
• Nikolaj Bjørner (Microsoft)
• Nadia Creignou (Aix-Marseille Université)
• Uwe Egly (Vienna University of Technology)
• John Franco (University of Cincinnati)
• Vijay Ganesh (Waterloo)
• Serge Gaspers (UNSW Sydney and Data61, CSIRO)
• Marijn Heule (The University of Texas at Austin)
• Mikoláš Janota (INESC-ID/IST, University of Lisbon, Portugal)
• Matti Järvisalo (University of Helsinki)
• George Katsirelos (MIAT, INRA)
• Oliver Kullmann (Swansea University, Computer Science Department)
• Massimo Lauria (Sapienza University of Rome)
• Daniel Le Berre (CNRS – Université d’Artois)
• Florian Lonsing (Vienna University of Technology)
• Inês Lynce (INESC-ID/IST, Universidade de Lisboa)
• Joao Marques Silva (Universidade de Lisboa)
• Ruben Martins (Carnegie Mellon University)
• Stefan Mengel (CNRS, CRIL UMR 8188)
• Alexander Nadel (Intel)
• Jakob Nordström (KTH Royal Institute of Technology)
• Markus N. Rabe (University of California, Berkeley)
• Martina Seidl (Johannes Kepler University Linz)
• Laurent Simon (Labri, Bordeaux Institute of Technology)
• Carsten Sinz (Karlsruhe Institute of Technology)
• Friedrich Slivovsky (Vienna University of Technology)
• Takehide Soh (Information Science and Technology Center, Kobe University)
• Stefan Szeider (Vienna University of Technology)
• Jacobo Torán (Universität Ulm)
• Ralf Wimmer (Albert-Ludwigs-Universität Freiburg)
• Xishun Zhao (Insitute of Logic and Cognition, Sun Yat-Sen University)