Pictures from Sun Yat-Sen University, Guangzhou, P.R. China

SAT 2008 - Eleventh International Conference on
Theory and Applications of Satisfiability Testing

May 12 - 15 2008, Guangzhou, P. R. China

Conference Organization

Conference Chairs

Hans Kleine Büning, University of Paderborn, Germany
Zhao Xishun, Sun Yat-Sen University, Guangzhou, P.R. China

 

Local Chair / Organization Committee

Shier Ju, Sun Yat-Sen University, Guangzhou, P.R. China
Minghui Xiong, Sun Yat-Sen University, Guangzhou, P.R. China
Lin Xu, Natural Science Foundation of China, P.R. China
Uwe Bubeck, University of Paderborn, Germany
Theo Lettmann, University of Paderborn, Germany

 

Technical Program Committee

Fahiem Bacchus, University of Toronto, Canada
Armin Biere, Johannes Kepler University, Austria
Nadia Creignou, Université de la Méditerranée, France
Adnan Darwiche, UCLA, USA
Leonardo de Moura, Microsoft Research, USA
Decheng Ding, Nanjing University, P.R. China
John Franco, University of Cincinnati, USA
Ian Gent, University of St. Andrews, UK
Enrico Giunchiglia, Università di Genova, Italy
Aarti Gupta, NEC Research Labs, USA
Ziyad Hanna, Jasper Design Automation, USA
Holger Hoos, University of British Columbia, Canada
Henry Kautz, University of Rochester, USA
Oliver Kullmann, University of Wales Swansea, UK
Daniel Le Berre, Université d'Artois, France
Chu-Min Li, Université de Picardie, France
Ines Lynce, Technical University of Lisbon, Portugal
Panagiotis Manolios, Northeastern University, Boston, USA
Joao Marques-Silva, University of Southampton , UK
David Mitchell, Simon Fraser University, Canada
Stefan Porschen, Universität Köln, Germany
Steve Prestwich, University College Cork, Ireland
Karem Sakallah, University of Michigan, USA
Uwe Schöning, Universität Ulm, Germany
Roberto Sebastiani, Università di Trento, Italy
Bart Selman, Cornell University, USA
Laurent Simon, Université Paris Sud, France
Ewald Speckenmeyer, Universität Köln, Germany
Ofer Strichman, Technion, Israel
Stefan Szeider, Durham University, UK
Allen Van Gelder, UC Santa Cruz, USA
Hans van Maaren, Technische Universiteit Delft, Netherlands
Toby Walsh, National ICT, Australia
Jian Zhang, Chinese Academy of Science, P.R. China
Lintao Zhang, Microsoft Research, USA

 

Last modified: June 16, 2008.