The SAT/SMT Summer School 2012 (2nd edition) aims at providing graduate students and researchers from universities and industry with a comprehensive overview of the research in SAT, SMT, and their application. The lectures cover the foundational and practical aspects of SAT and SMT solvers, as well as their application to verification, planning, scheduling, and optimization problems.

This second edition follows the Summer School of 2011 organized by Vijay Ganesh at MIT and is co-located with the SAT 2012 conference.

NEWS 2012-06-28: Slides and Videos of the lectures are now available here.