Previous conferences

SAT 2011- 14th International Conference on Theory and Applications of Satisfiability Testing, Ann Arbor, USA (2011)
SAT 2010 - 13th International Conference on Theory and Applications of Satisfiability Testing, Edinburgh, Scotland, United Kingdom (2010)
SAT 2009 - 12th International Conference on Theory and Applications of Satisfiability Testing, Swansea, Wales, United Kingdom (2009)
SAT 2008 - 11th International Conference on Theory and Applications of Satisfiability Testing, Guangzhou, P. R. China (2008)
SAT 2007 - 10th International Conference on Theory and Applications of Satisfiability Testing, Lisbon, Portugal (2007)
SAT 2006 - 9th International Conference on Theory and Applications of Satisfiability Testing, Seattle WA, USA (2006)
SAT 2005 - 8th International Conference on Theory and Applications of Satisfiability Testing, St. Andrews, Scottland (2005)
SAT 2004 - 7th International Conference on Theory and Applications of Satisfiability Testing, Vancouver (BC), Canada (2004)
SAT 2003 - 6th International Conference on Theory and Applications of Satisfiability Testing, Santa Margherita Ligure, Italy (2003)
SAT 2002 - 5th Symposium on Theory and Applications of Satisfiability Testing, Cincinnati, USA (2002)
SAT 2001 - 4th Workshop on Theory and Applications of Satisfiability Testing, Boston, USA (2001)
SAT 2000 - 3rd Workshop on Satisfiability, Renesse, The Netherlands (2000)
SAT 1998 - 2nd Workshop on Satisfiability, SchloƟ Eringerfeld, Germany (1998)
SAT 1996 - 1st Workshop on Satisfiability, Siena, Italy (1996)

See also     http://www.satisfiability.org