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 tenth in the series, will focus on the principles and practices of formal techniques, with a strong emphasis on the hands-on use and development of these technologies. It primarily targets graduate students and young researchers who are interested in studying and using formal techniques in their research. A prior background in formal methods is helpful but not required. Participants at the school can expect to have a seriously fun time experimenting with the tools and techniques presented in the lectures during laboratory sessions.


Speaking Logic: Background Course

The main lectures in the summer school will be preceded by a background course on logic

Invited Speakers




Previous Summer Schools on Formal Techniques

Information about previous Summer Schools on Formal Techniques can be found at

Jay Bosamiya of CMU has blogged about the 2018 Summer School at


We expect to provide support for the travel and accommodation for (a limited number of) students registered at US universities. We welcome applications from non-US students as well as non-students (if space permits). Non-US students will have to cover their own travel; the cost (which covers meals and lodging) is:

Applications should be submitted together with names of two references (preferably advisors, professors, or senior colleagues) using the form below.

Due to the ongoing Covid-19 pandemic, the Tenth Summer School and Formal Techniques and the First Formal Methods in the Field Bootcamp have been postponed until further notice. Registration will be closed for now and will reopen once the event has been rescheduled. If you have already registered, we will contact you when we have a new schedule.