[TYPES/announce] Fifteenth Summer School on Formal Techniques, May 23-29, 2026, Menlo College, Atherton, California

[Natarajan Shankar]

                Fifteenth Summer School on Formal Techniques,  May 23 - 29, 2026
                                 (https://urldefense.com/v3/__https://SSFT-SRI.github.io__;!!IBzWLUs!T_vOoPXhRfchI1hqx0JmCyxDnK5PdbHMJJwEE9kqX663A-FHWkg-Qwb5E0K3Rx831ZiGWwjtM-klCxKHSIzXUYVgHQWQb1E$ )
                              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://urldefense.com/v3/__https://SSFT-SRI.github.io__;!!IBzWLUs!T_vOoPXhRfchI1hqx0JmCyxDnK5PdbHMJJwEE9kqX663A-FHWkg-Qwb5E0K3Rx831ZiGWwjtM-klCxKHSIzXUYVgHQWQb1E$ .

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://urldefense.com/v3/__https://menlo.edu/title-ix/__;!!IBzWLUs!T_vOoPXhRfchI1hqx0JmCyxDnK5PdbHMJJwEE9kqX663A-FHWkg-Qwb5E0K3Rx831ZiGWwjtM-klCxKHSIzXUYVgZ667kkY$ .