Conference Chairs
Joao Marques-Silva, University of Southampton, UK
Karem A. Sakallah, University of Michigan, USA
Local Chair
Ines Lynce, Technical University of Lisbon, Portugal
Program Committee
Fahiem Bacchus, University of Toronto, Canada
Paul Beame, University of Washington, USA
Armin Biere, Johannes Kepler University, Austria
Adnan Darwiche, UCLA, USA
Leonardo de Moura, Microsoft Research, USA
Niklas Een, Cadence Design Systems, USA
John Franco, University of Cincinnati, USA
Ian Gent, University of St. Andrews, UK
Enrico Giunchiglia, Universita di Genova, Italy
Carla Gomes, Cornell University, USA
Aarti Gupta, NEC Research Labs, USA
Ziyad Hanna, Intel Corp., USA
Edward Hirsch, Steklov Inst. of Mathematics, Russia
Joonyoung Kim, Intel Corp., USA
Hans Kleine-Büning, Univ. Paderborn, Germany
James Kukula, Synopsys ATG, USA
Oliver Kullmann, University of Wales Swansea, UK
Daniel Le Berre, Universite d'Artois, France
Chu-Min Li, Universite de Picardie, France
Ines Lynce, Technical University of Lisbon, Portugal
Panagiotis Manolios, Georgia Institute of Technology, USA
Vasco Manquinho, Technical University of Lisbon, Portugal
Slawomir Pilarski, Magma DA, USA
Steve Prestwich, University College Cork, Ireland
Roberto Sebastiani, Universita di Trento, Italy
Hossein Sheini, CMU, USA
Laurent Simon, Universite Paris Sud, France
Ewald Speckenmeyer, Universitat Koln, Germany
Ofer Strichman, Technion, Israel
Stefan Szeider, Durham University, UK
Armando Tacchella, Universita di Genova, Italy
Allen Van Gelder, UC Santa Cruz, USA
Hans van Maaren, Technische Universiteit Delft, Netherlands
Toby Walsh, National ICT, Australia
Lintao Zhang, Microsoft Research, USA
|
