Conference Organization

Conference Chairs

Program Committee

  • Dimitris Achlioptas, UC Santa Cruz, USA
  • Fahiem Bacchus, University of Toronto, Canada
  • Armin Biere, Johannes Kepler University, Austria
  • Nadia Creignou, Université de la Mediterranée, France
  • Stefan Dantchev, Durham University, UK
  • Adnan Darwiche, UCLA, USA
  • John Franco, University of Cincinnati, USA
  • Enrico Giunchiglia, Universita di Genova, Italy
  • Kazuo Iwama, Kyoto University, Japan
  • Hans Kleine, Buning, University of Paderborn, Germany
  • Oliver Kullmann, University of Wales Swansea, UK
  • Sais Lakhdar, Université d'Artois, France
  • Daniel Le Berre, Université d'Artois, France
  • Chu-Min Li, Université de Picardie, France
  • Inês Lynce, Technical University of Lisbon, Portugal
  • Hans van Maaren, TU Delft, The Netherlands
  • Panagiotis Manolios, Northeastern University, USA
  • Joao Marques-Silva, University College Dublin, Ireland
  • David Mitchell, Simon Fraser University, Canada
  • Alexander Nadel, Tel-Aviv University & Intel Corporation, Israel
  • Robert Nieuwenhuis, Technical University of Catalonia, Spain
  • Albert Oliveras, Technical University of Catalonia, Spain
  • Ramamohan Paturi, University of California, USA
  • Igor Razgon, University College Cork, Ireland
  • Karem Sakallah, University of Michigan, USA
  • Roberto Sebastiani, Universitá di Trento, Italy
  • Laurent Simon, Université Paris 11, France
  • Carsten Sinz, University of Karlsruhe, Germany
  • Robert H. Sloan, University of Illinois at Chicago, USA
  • Mirosław Truszczyński, University of Kentucky, USA
  • Alasdair Urquhart, University of Toronto, Canada
  • Allen Van Gelder, UC Santa Cruz, USA
  • Toby Walsh, NICTA and University of NSW, Australia
  • Emo Welzl, ETH Zurich, Switzerland
  • Lintao Zhang, Microsoft Research, P.R. China
  • Xishun Zhao, Sun Yat-Sen University, P.R. China