Image of Swansea Bay and

SAT 2009 - Twelfth International Conference on
Theory and Applications of Satisfiability Testing

June 30 - July 3, 2009, Swansea, Wales, United Kingdom

Paper Submissions SAT 2009

Note the deadlines:
  1. The abstract submission deadline was 23.2.2009.
  2. The paper submission deadline was 2.3.2009.
  3. The deadline for the final version is 12.4.2009.

General information

Call for Papers

PDF and ASCII versions of the Call for Papers.

Final versions

Valid XHTML 1.0 Strict Valid CSS level 2.1 Last modified: Sat Sep 19 19:05:56 BST 2009