The school is intended for PhD students, masters students, and industrial practitioners, who want to get a good understanding of capabilities and current research directions in the area of SAT, SMT, and Automated Reasoning. Prior knowledge in those areas is not required, but general problem solving skills, good programming and math skills are helpful. The participants will be given an opportunity to present a poster of their research.

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 applicants
• a supporting email written by the supervisor (for students)

The letter should explain the motivation for attending the Summer School. Based on the application letters approximately 100 participants will be chosen from all qualified applicants. Admitted participants will then be provided a link for registration. Accommodation has to be booked independently (we will recommend suitable hotels).

Application is now closed.

Thanks to our generous sponsors, we will be able to provide financial support (reduced registration fee, as well as travel and accommodation support for US students) for applicants who are otherwise unable to attend. If you want to apply for financial support, please indicate this in the application form, and explain in your letter of motivation why you need support.

Preliminary deadlines

Registration fees for participants

The fees include the lectures, coffee breaks, the four lunches, reception and banquet.  They do not include accommodation and travel expenses. US students can apply for grants covering (part of) the cost of travel and accommodation. Participants are kindly asked to bring their own laptops (if possible) for the practical sessions.

• 100€ for students
• 25€ for students with reduced fee
• 120€ for other participants