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 thirteenth 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 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. The main lectures will run from Monday May 27 to Friday May 31. They will be preceded by a background course "Speaking Logic" taught by Natarajan Shankar and Stéphane Graham-Lengrand (SRI CSL) on May 25/26. The summer school will be immediately followed by a two-day Bootcamp to reinforce some of the skills acquired during the school. Participants in the Bootcamp will employ formal tools and techniques (including those taught in this and prior summer school editions) under the supervision of the Bootcamp faculty to create verified artifacts.

The lecturers at the school include:


Formal Methods in the Field (FMiTF) Bootcamp
June 1-2, 2024

The Formal Methods in the Field Bootcamp will be held following the summer school from May 29 to the morning of June 2, 2024. This edition of the FMiTF Bootcamp will be taught by SRI staff with expertise spanning a range of tools covering static and dynamic analyzers, code verifiers, SAT/SMT solvers, interactive proof assistants, and model checkers.

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


Registration for in-person participation with SSFT24 is now closed.
Applicants are welcome to register for virtual participation.

This year, the school/bootcamp will take place in a hybrid mode: the lectures and labs will be live-streamed and recorded. We strongly encourage in-person participation so that you can benefit from interactions outside the classroom. We have funding from NSF to cover transportation/food/lodging expenses for selected US-based students. Non-student and non-US in-person participants are expected to cover their own transportation and will be charged a fee (around $150/day) to cover the cost of food and lodging.

The 2024 Summer School on Formal Techniques will be presented in a hybrid format. We encourage those students who can attend in person to do so. Those who cannot be there in person can still participate virtually but they will need to synchronize with the Pacific Daylight Savings Time. Applications should be submitted together with names of two references (preferably advisors, professors, or senior colleagues).

Applicants are urged to submit their applications before April 30, 2024, since there are only a limited number of spaces available. Those needing invitation letters for visa purposes are encouraged to complete their applications as early as possible. We strongly encourage the participation of women and under-represented minorities in the summer school.

The nearest airport to the summer school is SFO. Use Supershuttle for ground transportation to/from SFO - we should have a discount code shortly.