Eighth International Conference on
Theory and Applications of Satisfiability Testing


2005 SAT Solver Competition
2005 QBF Solver Evaluation

June 19th-23rd 2005
University of St. Andrews Conference Centre
St. Andrews, Scotland


On-Line Registration and accommodation booking
Deadline June 1st.
Travel Information
(How to get to the University of St. Andrews,
and some information about St. Andrews and the Conference Venue)
List of accepted papers
AV Information