[TYPES/announce] 2023 Summer School on Formal Techniques (May 24 - 29, 2023) + Formal Methods in the Field Bootcamp (May 30 - June 2, 2023)

[Natarajan Shankar]

Twelfth Summer School on Formal Techniques , May 24 - May 28, 2023 (https://urldefense.com/v3/__http://fm.csl.sri.com/SSFT23__;!!IBzWLUs!XmkDk3ABZa9L0FFkvSxm14UbkMORACF1X0cncDfBLZ1BbfHMSoRcG_0u7-9RFkwnvATmMbibw-IbWpycgouobQttUPBhlMY$ )
First Formal Methods in the Field Bootcamp, May 29-June 2, 2023

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.

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

* Pamela Zave (Princeton) and Tim Nelson (Brown)
   No More Garbage In:  Validating Formal Models
* Laura Kovacs (TU Wien) and Andrei Voronkov (Manchester)
   First-Order Theorem Proving
* Geoff Sutcliffe (Miami)
   The TPTP World - Infrastructure for Automated Reasoning
* Natarajan Shankar and Stephane Graham-Lengrand (SRI CSL)
   Speaking Logic

In addition, we have distinguished invited talks:
* Maria Paola Bonacina, Università degli Studi di Verona
   Resolution, Unification, and Subsumption: Fundamental Concepts in Theorem Proving
* Leslie Lamport (MSR)
   Q & A on Paxos
* Jesse Michael Han (OpenAI):
   Language Model Software and the Future of Verified Programming

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, rewrite
engines, SAT/SMT solvers, interactive proof assistants, and model checkers.

====================================================================================================

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.

The registration link is at the URL: https://urldefense.com/v3/__http://fm.csl.sri.com/SSFT23__;!!IBzWLUs!XmkDk3ABZa9L0FFkvSxm14UbkMORACF1X0cncDfBLZ1BbfHMSoRcG_0u7-9RFkwnvATmMbibw-IbWpycgouobQttUPBhlMY$ . Participants can register
separately for the school and the bootcamp.

The 2023 Summer School on Formal Techniques will be presented in a hybrid format.  We encourage
those students who can attend in person to do so.  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).

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.