Program Chairs and Organization

Program Committee

  • Fahiem Bacchus, University of Toronto, Canada
  • Olaf Beyersdorff, University of Leeds, UK
  • Jasmin Christian Blanchette, Inria Nancy and LORIA, France
  • Hubie Chen, Universidad del Pais Vasco and Ikerbasque, Spain
  • Marijn Heule, The University of Texas at Austin, USA
  • Jie-Hong Roland Jiang, National Taiwan University, Taiwan
  • Friedrich Slivovsky, TU Wien, Asutria