Summer Schools
2025 - SAT/SMT/AR Summer School, St Andrews, Scotland, August 6-8, 2025
2024 - SAT/SMT/AR Summer School, Nancy, France, June 26-29, 2024
2022 - SAT/SMT/AR/CP Summer School, Haifa, Israel, August 14-17, 2022
2019 - SAT/SMT/AR Summer School, Lisbon, Portugal, July 3-6, 2019
2018 - SAT/SMT/AR Summer School, Manchester, UK, July 3-6, 2018
2017 - SC2 Summer School 2017, Saarbrücken, Germany, July 31-August 4, 2017 (covered SAT/SMT/AR and Computer Algebra)
2016 - SAT/SMT/AR Summer School, Lisbon, Portugal, June 22-25, 2016
2015 - SAT/SMT Summer School, Stanford University, California, USA, July 15-17, 2015
2014 - SAT/SMT Summer School, Semmering, Austria, July 10-12, 2014
2013 - SAT/SMT Summer School, Aalto University, Helsinki, Finland, July 3-5, 2013
2012 - SAT/SMT Summer School, FDK, Trento, Italy, June 12-15, 2012
2011 - SAT/SMT Solver Summer School, MIT, Boston, Mass, USA, June 12-17, 2011