Committees

Program Chairs

• Serge Gaspers, UNSW Sydney and Data61, CSIRO
• Toby Walsh, UNSW Sydney and Data61, CSIRO

Organizing Committee

• Maria Garcia de la Banda, Monash University
• Serge Gaspers (chair), UNSW Sydney and Data61, CSIRO
• Edward J. Lee, UNSW Sydney and Data61, CSIRO
• Christopher Mears, Monash University
• Kamran Najeebullah, UNSW Sydney and Data61, CSIRO
• Neda Saeedloei, University of Minnesota Duluth, USA
• Guido Tack, Monash University and Data61, CSIRO
• Tommaso Urli, Data61, CSIRO
• Toby Walsh, UNSW Sydney and Data61, CSIRO

Workshop Chair

• Stefan Rümmele, UNSW Sydney and University of Sydney

Program Committee

• Gilles Audemard, CRIL
• Fahiem Bacchus, University of Toronto
• Valeriy Balabanov, Mentor Graphics
• Bernd Becker, Albert-Ludwigs-University Freiburg
• Olaf Beyersdorff, University of Leeds
• Armin Biere, Johannes Kepler University Linz
• Nadia Creignou, Aix-Marseille Université
• Uwe Egly, TU Wien
• Serge Gaspers, UNSW Sydney and Data61, CSIRO
• Carla Gomes, Cornell University
• Marijn Heule, The University of Texas at Austin
• Alexey Ignatiev, University of Lisbon
• Mikolas Janota, University of Lisbon
• Michael Kaufmann, University of Tuebingen
• Chu-Min Li, Université de Picardie Jules Verne
• Florian Lonsing, TU Wien
• Ines Lynce, INESC-ID, Universidade de Lisboa
• Vasco Manquinho, INESC-ID, University of Lisbon
• Carlos Mencía, University of Oviedo
• Nina Narodytska, Samsung Research America
• Alessandro Previti, University of Helsinki
• Enric Rodríguez Carbonell, Technical University of Catalonia
• Vadim Ryvchin, Technion
• Bart Selman, Cornell University
• Laurent Simon, Labri, Bordeaux Institute of Technology
• Carsten Sinz, Karlsruhe Institute of Technology
• Friedrich Slivovsky, TU Wien
• Ofer Strichman, Technion
• Stefan Szeider, TU Wien
• Allen Van Gelder, University of California, Santa Cruz
• Toby Walsh, Data61, UNSW Sydney and Data61, CSIRO