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