First International SAT/SMT Solver Summer School 2011
Sunday, June 12- Friday, June 17, 2011
MIT, CAMBRIDGE, USA
|
|
| Home |
| Summer School Registration |
| Transportation Accommodation Getting to MIT Venue Food Other Logistics |
| Lecture Slides and Notes Video Schedule |
| Organizers Contact Information |
Registration is Closed