First International SAT/SMT Solver Summer School 2011
Sunday, June 12- Friday, June 17, 2011
Room 34-101, MIT, 50 Vassar Street,
Summer School Registration
Getting to MIT
Lecture Slides and Notes
The Lecture Schedule/Slides
The schedule contains links to all the lecture materials, slides, notes, bio of the lecturer, and possibly videos of the lectures.