[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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$
.
