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