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

Natarajan Shankar shankar at csl.sri.com
Sun Mar 28 21:50:14 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
http://fm.csl.sri.com/SSFT11
http://fm.csl.sri.com/SSFT12
http://fm.csl.sri.com/SSFT13
http://fm.csl.sri.com/SSFT14
http://fm.csl.sri.com/SSFT15
http://fm.csl.sri.com/SSFT16
http://fm.csl.sri.com/SSFT17
http://fm.csl.sri.com/SSFT18
http://fm.csl.sri.com/SSFT19

Jay Bosamiya of CMU has blogged about the 2018 Summer School at
https://www.jaybosamiya.com/blog/2018/05/31/ssft/
=======================================================================
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
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 Types-announce mailing list