SAT 2007 Call for Papers 10th International Conference on Theory and Applications of Satisfiability Testing May 28 - 31, Lisbon, Portugal http://sat07.ecs.soton.ac.uk The International Conference on Theory and Applications of Satisfiability Testing is the primary annual meeting for researchers studying the propositional satisfiability problem (SAT). SAT'07 is the tenth SAT conference. SAT'07 features the SAT competition, the QBF competition, the Pseudo-Boolean evaluation, and the MAX-SAT evaluation. SCOPE Many hard combinatorial problems can be encoded into SAT. Therefore improvements on heuristics on the practical, 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/SAT2007. Papers have to be submitted electronically as PDF files. Paper submissions are due by January 19. PROGRAM CHAIRS Joao Marques-Silva, University of Southampton, UK Karem Sakallah, University of Michigan, USA LOCAL CHAIR Ines Lynce, Technical University of Lisbon, Portugal INVITED SPEAKERS Martin Davis, New York University, USA Andrei Voronkov, University of Manchester, UK IMPORTANT DATES January 19, Paper Submission March 2, Author Notification March 16, Final Version TECHNICAL 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 Ziyad Hanna, Intel Corp., 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 Edward A. Hirsch, Steklov Inst. of Mathematics, Russia Joonyoung Kim, Intel Corp., USA Hans Kleine-Buning, 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 SAT COMPETITION http://www.satcompetition.org/2007 Daniel Le Berre, Universite d'Artois, France Laurent Simon, Universite Paris Sud, France Ewald Speckenmeyer, Universitat Koln, Germany Geoff Sutcliffe, University of Miami, USA Lintao Zhang, Microsoft Research, USA QBF COMPETITION http://www.qbflib.org/qbfeval Massimo Narizzano, Universita di Genova, Italy Luca Pulina, Universita di Genova, Italy Armando Tacchella, Universita di Genova, Italy PSEUDO BOOLEAN EVALUATION http://www.cril.univ-artois.fr/PB07 Olivier Roussel, Universite d'Artois, France Vasco Manquinho, Technical University of Lisbon, Portugal MAX-SAT EVALUATION http://www.maxsat07.udl.es Josep Argelich, IIIA-CSIC, Spain Chu Min Li, Universite de Picardie, France Felip Manya, IIIA-CSIC, Spain Jordi Planes, IIIA-CSIC, Spain