The Coq mailing list

[Natarajan Shankar <shankar AT csl.sri.com>]

               Fourteenth Summer School on Formal Techniques,  May 24 - June 
30, 2025
                                (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 fourteenth 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 26 to Fri May 30. They are 
preceded by a
background course "Speaking Logic" on May 24/25.

====================================================================================================
The lecturers at  the school include:

* Joost-Pieter Katoen (RWTH Aachen)
  Deductive Verification of Probabilistic Programs with Caesar
* Erika Abraham (RWTH Aachen)
  Understanding and using SAT and SMT solvers
* Kristin Yvonne Rozier (Iowa State)
  Runtime Verification with R2U2
* Philippa Gardner (Imperial)
  Compositional Verification using the Gillian Platform
* Nate Foster (Cornell University)
  Programming and Reasoning with Kleene Algebra with Tests

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 2025 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,
2025), 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.