Conference Organisation

• Conference Chair: Oliver Kullmann, Swansea University, UK.

• Local organisation:
  • Arnold Beckmann
  • Matthew Gwynne
  • Oliver Kullmann

• Program Committee:
  • Dimitris Achlioptas, UC Santa Cruz, USA
  • Armin Biere, Johannes Kepler University, Austria
  • Stephen A. Cook, University of Toronto, Canada
  • Nadia Creignou, Universite de la Mediterranee, France
  • Evgeny Dantsin, Roosevelt University, USA
  • Adnan Darwiche, UCLA, USA
  • John Franco, University of Cincinnati, USA
  • Nicola Galesi, Universita di Roma, Italy
  • Enrico Giunchiglia, Universita di Genova, Italy
  • Ziyad Hanna, Jasper Design Automation, USA
  • Marijn Heule, Technische Universiteit Delft, Netherlands
  • Edward Hirsch, Steklov Institute of Mathematics, Russia
  • Kazuo Iwama, Kyoto University, Japan
  • Hans Kleine Büning, University of Paderborn, Germany
  • Daniel LeBerre, Universite d'Artois, France
  • Chumin Li, Universite de Picardie, France
  • Ines Lynce, Instituto Superior Tecnico, Portugal
  • Panagiotis Manolios, Northeastern University, USA
  • Joao Marques-Silva, University College Dublin, Ireland
  • David G. Mitchell, Simon Fraser University, Canada
  • Albert Oliveras, Technical University of Catalonia, Spain
  • Ramamohan Paturi, University of California, USA
  • Lakhdar Sais, Universite d'Artois, France
  • Karem A. Sakallah, University of Michigan, USA
  • Uwe Schöning, Universität Ulm, Germany
  • Roberto Sebastiani, Universita di Trento, Italy
  • Carsten Sinz, University of Karlsruhe, Germany
  • Robert H. Sloan, University of Illinois, USA
  • Niklas Sörensson, Chalmers University of Technology, Sweden
  • Ewald Speckenmeyer, Universität Köln, Germany
  • Stefan Szeider, Durham University, UK
  • Armando Tacchella, Universita di Genova, Italy
  • Miroslaw Truszczynski, University of Kentucky, USA
  • Alasdair Urquhart, University of Toronto, Canada
  • Allen Van Gelder, UC Santa Cruz, USA
  • Hans van Maaren, Delft University of Technology, Netherlands
  • Toby Walsh, University of New South Wales, Australia
  • Sean Weaver, University of Cincinnati, USA
  • Emo Welzl, ETH Zurich, Switzerland
  • Lintao Zhang, Microsoft Research, USA
  • Xishun Zhao, Sun Yat-Sen University, P.R. China

---

Last modified: Sat Sep 19 19:04:22 BST 2009