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 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 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. SAT08 is sponsored by Natural Science Foundation of China, Sun Yat-sen University, and University of Paderborn, additionally by Intel, Microsoft Research, and NEC (alphabetical list).