Committees

Program Chairs

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

Organizing Committee

  • Serge Gaspers (chair), UNSW Sydney and Data61, CSIRO
  • Edward J. Lee, UNSW Sydney and Data61, CSIRO
  • Kamran Najeebullah, UNSW Sydney and Data61, CSIRO
  • 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