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 twelfth 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. This year, 2023, we celebrate the 60th anniversary of Alan Robinson's first publication on Resolution, and are delighted to have a series of lectures devoted to the latest developments in this important strand of automated reasoning. The summer school will be immediately followed by a Formal Methods in the Field (FMiTF) Bootcamp. 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.


Formal Methods in the Field (FMiTF) Bootcamp
May 29 - June 2, 2023

The Formal Methods in the Field Bootcamp will be held following the summer school from May 29 to the morning of June 2, 2023. 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



Awards Photos

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


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.

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). Participants can register separately for the school and the bootcamp.

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