SAT 2003 - Program Committee

Back

Dimitris Achlioptas, Microsoft Research
Fadi Aloul, University of Michigan
Fahiem Bacchus, University of Toronto
Armin Biere, ETH Zurich
Nadia Creignou, Université de la Méditerranée, Marseille
Olivier Dubois Université Paris 6
Uwe Egly, Technische Universität Wien
John Franco, University of Cincinnati
Ian Gent, St. Andrews University
Carla Gomez, Cornell University
Edward A. Hirsch, Steklov Institute of Mathematics at St. Petersburg
Holger Hoos, University of British Columbia
Henry Kautz, University of Washington
Hans Kleine Büning, Universität Paderborn
Oliver Kullmann, University of Wales Swansea
Daniel Le Berre, CRIL, Université d'Artois
João Marques-Silva, Instituto Superior Técnico, Univ. Técnica de Lisboa
Hans van Maaren, University of Delft
Remi Monasson, Laboratoire de Physique Théorique de l'ENS
Daniele Pretolani, Universita' di Camerino
Paul W. Purdom, Indiana University
Jussi Rintanen, Freiburg University
Bart Selman, Cornell University
Malik Sharad, Princeton University
Laurent Simon, LRI Laboratory, Université Paris-Sud
Ewald Speckenmeyer, Universität Köln
Armando Tacchella - Università di Genova, DIST
Allen Van Gelder, UC Santa Cruz
Miroslav N. Velev, Carnegie Mellon University
Toby Walsh, University of York

Back