Third International SAT/SMT Summer School 2013

Espoo, Finland, July 3—5, 2013

The SAT/SMT Summer School aims at providing graduate students and researchers from universities and industry with a comprehensive overview of research and methodology in satisfiability testing (SAT) and satisfiability modulo theories (SMT). The lectures cover the foundational and practical aspects of SAT and SMT technologies and their applications. The third edition follows the schools that took place at MIT (SAT/SMT Solver Summer School 2011) and at Fondazione Bruno Kessler (SAT/SMT School 2012) in Trento, Italy. The 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013) is arranged at University of Helsinki the following week.

Email: satsmt2013


Registration to the school was closed on the 12th of June, 2013.


The venue of school is the Otaniemi campus area of Aalto University School of Science.

Street address: Konemiehentie 2, FI-02150 Espoo, Finland

Invited Lecturers

School Program

The detailed schedule and all electronic material related with lectures and tutorials is put available here.

Important Dates

Organizing Committee

Travel and Accommodation