Please excuse multiple copies.

--------------------------------------------------------------------


                              SAT 2008
	                Call for Papers

	         11th International Conference on
	Theory and Applications of Satisfiability Testing

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

                    http://www.upb.de/cs/SAT08


     The International Conference on Theory and Applications of
     Satisfiability Testing is the primary annual meeting for researchers
     studying the propositional satisfiability problem (SAT). SAT08 is
     the eleventh SAT conference. SAT08 features the SAT Race, the
     Max-SAT Evaluation, and the QBFEVAL.


SCOPE

     Many hard combinatorial problems can be encoded into SAT.
     Therefore improvements on heuristics on the practical side, as well
     as theoretical insights into SAT apply to a large range of real-world
     problems. More specifically, many important practical verification
     problems can be rephrased as SAT problems. This applies to
     verification problems in hardware and software. Thus SAT is becoming
     one of the most important core technologies to verify secure and
     dependable systems. The topics of the conference span practical and
     theoretical research on SAT and its applications and include but are
     not limited to proof systems, proof complexity, search algorithms,
     heuristics, analysis of algorithms, hard instances, randomized
     formulae, problem encodings, industrial applications, solvers,
     simplifiers, tools, case studies and empirical results. SAT is
     interpreted in a rather broad sense: besides propositional
     satisfiability, it includes the domain of quantified boolean
     formulae (QBF), constraints programming techniques (CSP) for
     word-level problems and their propositional encoding and
     particularly satisfiability modulo theories (SMT).


SUBMISSION

     Submissions should contain original material and can either be
     regular research papers up to 14 pages or short papers up to 6
     pages. Double submissions including submissions as short and long
     papers will be rejected.  Submissions should use the Springer
     LNCS style. All appendices, tables, figures and the bibliography
     must fit into the page limit. Submissions deviating from these
     requirements may be rejected without review.

     All accepted papers including short papers will be published
     in the proceedings of the conference. The conference proceedings
     will be published within Springer LNCS series. The submission page is
     http://www.easychair.org/SAT2008. Papers have to be submitted
     electronically as PDF files.


IMPORTANT DATES

     January 11, 2008  Abstract Submission
     January 18, 2008  Paper Submission
     February 18, 2008 Author Notification
     February 25, 2008 Final Version


PROGRAM CHAIRS

     Hans Kleine Büning, University of Paderborn, Germany
     Xishun Zhao, 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 Universität, 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
     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, Georgia Institute of Technology, 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


SAT Race

     Carsten Sinz, Universität Tübingen, Germany
     et al.


QBFEVAL

     Massimo Narizzano, Università di Genova, Italy
     Luca Pulina, Università di Genova, Italy
     Armando Tacchella, Università di Genova, Italy


Max-SAT EVALUATION

     Josep Argelich, Universitat de Lleida, Spain
     Chu Min Li, Université de Picardie, France
     Felip Manya, Universitat de Lleida, Spain
     Jordi Planes, University of Southampton, UK

Further information on SAT Race, Max-SAT Evaluation, and QBFEVAL
will be published also on the SAT08 conference web page.