Techniques based on formal logic, such as model checking, satisfiability, static analysis, and automated theorem proving, are finding a broad range of applications in modeling, analysis, verification, and synthesis. This school, the fourth in the series, will focus on the principles and practice of formal techniques, with a strong emphasis on the hands-on use and development of this technology. It primarily targets graduate students and young researchers who are interested in developing and using formal techniques in their research. A prior background in formal methods is helpful but not required. Participants at the school will have a seriously fun time experimenting with the tools and techniques presented in the lectures during laboratory sessions.

The lecturers at the school include:

Invited speakers at the school include:

Student presentations include:


Information about the first three Summer Schools on Formal Techniques can be found at

We expect to provide support for the travel and accommodation for a limited number of students from US universities, but welcome applications from non-US students as well as non-students. Non-US students will have to cover their own travel and will be charged around $500 for meals and lodging. Applications should be submitted using the form below.

Applicants are encouraged to submit their applications before April 30, 2014, since there are only a limited number of spaces available. Non-US applicants requiring US visas are requested to apply early.

Registration is now closed

Questions on any aspect of the school can be posted here.

Background reading: