Fifteenth Summer School on Formal Techniques, May 23 - 29, 2026 (https://SSFT-SRI.github.io) Menlo College, Atherton, California 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 fifteenth in the series, focuses 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 the laboratory sessions. The main lectures run from Monday May 25 to Fri May 29. They are preceded by a background course "Speaking Logic" on May 23/24. =================================================================== Title: Compilers for Quantum Computers Speaker: Prof. Aws Albarghouti, University of Wisconsin-Madison =================================================================== Title: Analyzing Cryptographic Protocols with Tamarin Speaker: Prof. Dr. Cas Cremers, CISPA Helmholtz Center for Information Security =================================================================== Title: Developing and Proving Algorithms with PVS Speaker: Dr. Cesar Munoz, NASA Langley Research Center =================================================================== Title: Privacy-Preserving Reasoning Speaker: Prof. Ruzica Piskac, Yale University =================================================================== Title: Verifying Rust code with Verus Speaker: Dr. Chris Hawblitzel, Microsoft Research =================================================================== The program also features invited talks from distinguished speakers (to be announced) and the background "Speaking Logic" course taught by Natarajan Shankar (SRI) and Stephane Graham-Lengrand (SRI). =================================================================== The 2026 Summer School on Formal Techniques 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 registration link is at the URL: https://SSFT-SRI.github.io. Applicants are urged to submit their applications as early as possible (no later than March 31, 2026), since there are only a limited number of spaces available. Those needing invitation letters for visa purposes should complete their applications as early as possible. We strongly encourage the participation of women and under-represented minorities in the summer school. The Summer School follows the Title IX Sexual Misconduct & Sexual Harassment Policy & Procedures spelled out at https://menlo.edu/title-ix/.
