Sixth International Conference 
on Theory and Applications of Satisfiability Testing

 S. Margherita Ligure - Portofino ( Italy), May 5-8 2003


The conference follows the Workshops on Satisfiability held in Siena (1996), Paderborn (1998), and Renesse (2000), the Workshop on Theory and Applications of Satisfiability Testing held in Boston (2001) and the Symposium on Theory and Applications of Satisfiability Testing held in Cincinnati (2002). 

The purpose of this conference is to bring together researchers from different communities -- including theoretical computer science, artificial intelligence, verification, mathematical theorem-proving, electrical engineering, and operations research -- in order to share ideas and increase synergy between theoretical and empirical work.

Important Dates

Attention to all SAT people: the deadline for registering is expired and the on-line registration is closed. Please send us an email in case you need further information.


Extended abstracts submission: February 8, 2003
Notification of acceptance (updated!): March 17, 2003
Final version due (updated!): March 21, 2003
SAT Solvers and Benchmarks submission: February 14, 2003
Results of the SAT Competition:  May 5-8, 2003
QBF Solvers and Benchmarks submission (updated!): March 7, 2003
Results of the QBF Solvers Evaluation: May 5-8, 2003
Important Dates
Conference Location
Accomodation in 
Santa Margherita Ligure
How to reach 
Santa Margherita Ligure
Papers, Solvers, Benchmarks
Call for papers, solvers, and benchmarks
Conference flyer (PS, PDF)
SAT competition
QBF solvers evaluation
Program Committee
Hotel Regina Elena
Golfo del Tigullio