Apologies for cross-postings. This is a follow-up of my earlier posting regarding the first SAT/SMT solver summer school. The list of speakers and topics appears very impressive. For additional details, including possibilities of travel support, please see http://people.csail.mit.edu/vganesh/summerschool -Supratik