[Om-announce] Tenth (Virtual) Summer School on Formal Techniques, May 22-28, 2021

Natarajan Shankar shankar at csl.sri.com
Mon Mar 29 03:50:14 CEST 2021

Tenth Summer School on Formal Techniques , May 22 - May 28, 2020

  [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
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
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
  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 re-register,
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
fee, attendance is restricted to registered participants. Attendees who
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,
there are only a limited number of spaces available. We strongly
encourage the
participation of women and under-represented minorities in the summer

More information about the Om-announce mailing list