Apologies if you receive multiple copies of this announcement.


                           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