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

Important Dates SAT 2009

Regarding paper submission: Regarding registration: Regarding the conference itself we have:

Valid XHTML 1.0 Strict Valid CSS level 2.1 Last modified: Sat Sep 19 19:04:44 BST 2009