SAT/SMT Summer School

Semmering, Austria, July 10-12, 2014

SAT/SMT Summer School Participants

SAT/SMT Summer School Participants

Hotel Panhans

Hotel Panhans

Satisfiability (SAT) and Satisfiability Modulo Theories (SMT) solvers have become the backbone of numerous applications in computer science, such as automated verification, artificial intelligence, program synthesis, security, product configuration, and many more. The summer school covers the foundational and practical aspects of SAT and SMT technologies and their applications.

Besides providing a well structured introduction to SAT and SMT, this year’s edition of the SAT/SMT Summer School covers timely topics and novel applications such as

  • parallel solvers,
  • non-linear arithmetic,
  • the IC3 model checking paradigm,
  • hardware and software verification,
  • proofs and Craig interpolation,
  • and cryptography,

presented by distinguished speakers and experts in these fields. In addition to the theory sessions, we will have practicals in which the participants will work state-of-the-art tools and solvers. For details please have a look at the program.

The fourth edition follows the schools that took place at MIT in 2011, at Fondazione Bruno Kessler in Trento, Italy in 2012, and at Aalto University in Espoo, Finland in 2013.

The fifth SAT/SMT Summer School 2015 takes place in Stanford, CA.

The venue for the SAT/SMT Summer School 2014 is located in the Austrian mountains and conveniently close to Vienna, Austria. The Federated Logic Conference (FLoC) (part of the Vienna Summer of Logic) is scheduled after the summer school.


Important Dates

Registration and room booking by 10th of June 2014

Summer School 10th of July to 12th of July 2014
Application Deadline 19th of April 2014 (now passed)
Notification mid-May 2014


Experience in computer science as well as a solid background in logics are required. The summer school is open to PhD students, advanced master’s students, and postdoctoral researchers. As the number of participants is limited, all prospective participants will have to apply and provide

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

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.

Thanks to our generous sponsors, we will be able to provide financial support (partly covering travel cost and accommodation at the rate for shared rooms) to applicants who are otherwise unable to attend. If you want to apply for financial support, please indicate this in the application form.

You need to use our application form to apply. The letters of motivation and support need to be sent to the email address that you will be provided with after sending the application form. The hotel needs to be booked separately by the participants. Do not book accommodation before you have received notice that you have been accepted. We will provide you with a form for booking the rooms.

There will be a limited number of student grants available for the summer school.  Registration fees for participants are:

  • 20 € for PhD students supported by a grant
  • 70 € for PhD students without a grant
  • 100 € for all other participants

The fees include the lectures, coffee breaks, the three lunches, dinner on July 10th and the banquet on July 11th.  It does not include accommodation and travel expenses; for students with grants, the grant will cover (part of) the cost of accommodation.  Participants are kindly asked to bring their own laptops (if possible) for the practical sessions.

The participants will be given an opportunity to present a poster of their research.



The program can be found here.


A poster to advertise the summer school is available here.


Clark Barrett
Pascal Fontaine
Dejan Jovanović
Georg Weissenbacher

The organisers would like to thank the following people for their valuable advice:

Alberto Griggio
Keijo Heljanko
Philipp Rümmer
Carsten Sinz
Cesare Tinelli


NSF logo-inria Microsoft Research RiSE_Logo_Medium T-Mobile

Related Events

The following events take place in Vienna after the SAT/SMT Summer School 2014. Please consider submitting to and attending these conferences and workshops.