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:
These lectures will also be the opportunity to play a "security game" where students design security protocols of their own and find flaws in other protocols using some existing automatic tools.
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.