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