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 ninth 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

The school also includes several distinguished invited talks. Check here later for details.

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


Registration for SSFT19 is now closed - check back next year