Previous Schools

• SAT/SMT/AR/CP Summer School 2022 in Haïfa, Israel
• SAT/SMT/AR Summer School 2019 in Lisbon, Portugal
• SAT/SMT/AR Summer School 2018 in Manchester, UK
• SC2 Summer School 2017 in Saarbrücken, Germany (covered SAT/SMT/AR and Computer Algebra)
• SAT/SMT/AR Summer School 2016 in Lisbon, Portugal
• SAT/SMT Summer School 2015 at Stanford University, USA
• SAT/SMT Summer School 2014 in Semmering, Austria
• SAT/SMT Summer School 2013 in Espoo, Finland
• SAT/SMT Summer School 2012 in Trento, Italy
• SAT/SMT Solver Summer School 2011 at the MIT, USA

For general information about the SAT/SMT/AR summer school, click here.