It is with the goal of connecting SAT/SMT developers and power users that we have decided to organize the First International SAT/SMT Summer School from Sunday June 12th to Friday June 17th, 2011 at Building 34 (room 101 on the first floor), Massachusetts Institute of Technology , Cambridge, MA, USA.