Previous Conferences

  • SAT 2009 - 12th International Conference on Theory and Applications of Satisfiability Testing, 30 June - 3 July 2009, 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