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 fifth 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.


Invited Speakers


Information about previous 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 $550 for meals and lodging. Applications should be submitted using the form below.

Applicants are encouraged to submit their applications before April 30, 2015, 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.