Previous Schools 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