SAT/SMT Summer School


Satisfiability (SAT) and Satisfiability Modulo Theories (SMT) solvers continue to make rapid advances and find novel uses in a wide variety of applications both in computer science and beyond.  The fifth annual SAT/SMT Summer School aims to bring a select group of students up to speed quickly in this exciting research area.  The school will take place in the Huang Engineering Center, room 300 (Mackenzie Room) at Stanford University, July 15-17, 2015 and will offer basic lectures on both SAT and SMT as well as a selection of lectures on applications and more advanced topics.

Participant Information

Visit the participant information page here.


Wednesday, July 15
9:00 – 10:30 Donald Knuth, Stanford An Introduction to SAT
10:30 – 11:00 Break
11:00 – 12:00 Nina Narodytska, Carnegie Mellon Recent trends in MaxSAT solving
12:00 – 1:00 Lunch
1:00 – 2:30 Alberto Griggio, Fondazione Bruno Kessler An Introduction to SMT
2:30 – 3:00 Break
3:00 – 4:00 Dejan Jovanović, SRI The Model-Constructing Satisfiabilty Calculus
Thursday, July 16
9:00 – 10:30 Mate Soos, Cisco Inprocessing in SAT solvers
10:30 – 11:00 Break
11:00 – 12:00 Christoph Wintersteiger, Microsoft Research Floating Point Solvers for SMT
12:00 – 1:00 Lunch
1:00 – 2:30 Roberto Sebastiani, University of Trento An Introduction to Optimization Modulo Theories
2:30 – 3:00 Break
3:00 – 4:00 Joe Hendrix, Galois Symbolic Execution
Friday, July 17
9:00 – 10:30
Pascal Fontaine, INRIA & LORIA Proofs in Satisfiability Modulo Theories
10:30 – 11:00 Break
11:00 – 12:00 Stefano Ermon, Stanford Model Counting for Probabilistic Reasoning
12:00 – 1:00 Lunch
1:00 – 2:30 Sanjit Seshia, Berkeley Solvers, Synthesis, and Learning
2:30 – 3:00 Break
3:00 – 4:00 Vijay D’Silva, Google Theory and Applications of Interpolation

Important Dates



Experience in computer science as well as a solid background in logic is required.  As the number of participants is limited, priority will be given to PhD students, advanced master’s students, and postdoctoral researchers.  However, interested non-students are also welcome to apply.  All prospective participants must apply online and provide

  • a short CV (at most 3 pages, listing publications, if any)
  • a letter of motivation written by the applicant
  • a supporting email written by the supervisor (for students)

These letters should explain the motivation for attending the Summer School. Based on the application letters approximately 80 participants will be chosen from all qualified applicants.  We anticipate being able to provide some financial support to applicants who would otherwise be unable to attend. If you want to apply for financial support, please indicate this in the application form. The registration fee will be $100 per participant.  This includes breaks and lunches each day, but does not include travel or lodging.  However, we have arranged for a block of dorm rooms at nearby Santa Clara University for those who are interested.  The cost is $70 per night and includes dinner, breakfast, and a train pass to get to Stanford.  Lodging at Santa Clara University can be arranged if and when your application is approved.

Participants are kindly asked to bring their own laptops (if possible) for the practical sessions.


Clark Barrett
David Dill
Bruno Dutertre



The fifth installment follows the schools that took place at MIT in 2011, at Fondazione Bruno Kessler in Trento, Italy in 2012, at Aalto University in Espoo, Finland in 2013, and in Semmering, Austria in 2014.

You can connect with past participants and organizers on our google+ or facebook pages:


Related Events

The following events take place in San Francisco immediately following the 2015 SAT/SMT Summer School. You may want to consider attending them as well.