Tenth Summer School on Formal Techniques

Sam Owre owre at csl.sri.com
Wed Mar 31 15:14:27 EDT 2021

Tenth Summer School on Formal Techniques , May 22 - May 28, 2020 (http://fm.csl.sri.com/SSFT21)

  [Due to the pandemic, the Tenth Summer School on Formal Techniques that was
   postponed from 2020 will be virtual this year.]

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 tenth 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.

The lecturers at  the school include:

* Thomas Reps (University of Wisconsin)
  Algebraic Program Analysis: Automating Abstract Interpretation
* Natasha Sharygina (University of Lugano, Switzerland)
  SMT-streamlined Software Model Checking
* Warren A. Hunt, Jr. and J Strother Moore (University of Texas)
  Proving Properties of Algorithms, Hardware, and Software with ACL2
* Jose Meseguer (University of Illinois at Urbana-Champaign)
  Executable Formal Specification and Verification in Maude

The main lectures in the summer school start on Monday May 24 and
 will be preceded by a background course on logic on Saturday May 22 and
 Sunday May 23:
* Natarajan Shankar (SRI CSL) and Stephane Graham-Lengrand (Ecole Polytechnique)
  Speaking Logic

The summer school also include several distinguished invited talks.
Information about previous Summer Schools on Formal Techniques can be found at

Jay Bosamiya of CMU has blogged about the 2018 Summer School at
Registration is at the URL: http://fm.csl.sri.com/SSFT21
Those who already registered for the 2020 event need not reregister, and you
will be contacted to check if you would like your registration to be
processed. Although the summer school is virtual and there is no registration
fee, attendance is restricted to registered participants. Attendees who complete
the summer school will receive a certificate by mail. 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, 2021, since
there are only a limited number of spaces available. We strongly encourage the
participation of women and under-represented minorities in the summer school.

More information about the FOM mailing list