Semmering, Austria, July 10-12, 2014
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 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.
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)|
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.
The organisers would like to thank the following people for their valuable advice:
The following events take place in Vienna after the SAT/SMT Summer School 2014. Please consider submitting to and attending these conferences and workshops.
- Vienna Summer of Logic
- SAT 2014 conference
- SMT Workshop
- Interpolation Workshop
- CAV 2014 conference
- IJCAR 2014 conference