SAT

International Conference on Theory and Applications of Satisfiability Testing

  1. 2021

    SAT 2021

    • 5-9 July
    • Barcelona, Spain
  2. 2020

    SAT 2020

    • 3-10 July
    • Alghero, Italy
  3. 2019

    SAT 2019

    • 7-12 July
    • Lisbon, Portugal
  4. 2018

    SAT 2018

    • 9-12 July
    • Oxford, United Kingdom
  5. 2017

    SAT 2017

    • 28 August - 1 September
    • Melbourne, Australia
  6. 2016

    SAT 2016

    • 5-8 July
    • Bordeaux, France
  7. 2015

    SAT 2015

    • 24-27 September
    • Austin, TX, USA
  8. 2014

    SAT 2014

    • 14-17 July
    • Vienna, Austria
  9. 2013

    SAT 2013

    • 8-12 July
    • Helsinki, Finland
  10. 2012

    SAT 2012

    • 17-20 June
    • Trento, Italy
  11. 2011

    SAT 2011

    • 19-22 June
    • Ann Arbor, MI, USA
  12. 2010

    SAT 2010

    • 11-14 July
    • Edinburgh, United Kingdom
  13. 2009

    SAT 2009

    • 30 June - 3 July
    • Swansea, United Kingdom
  14. 2008

    SAT 2008

    • 12-15 May
    • Guangzhou, China
  15. 2007

    SAT 2007

    • 28-31 May
    • Lisbon, Portugal
  16. 2006

    SAT 2006

    • 12-15 August
    • Seattle, WA, USA
  17. 2005

    SAT 2005

    • 19-23 June
    • St Andrews, United Kingdom
  18. 2004

    SAT 2004

    • 10-13 May
    • Vancouver, BC, Canada
  19. 2003

    SAT 2003

    • 5-8 May
    • Santa Margherita Ligure, Italy