[TYPES/announce] Eighth Summer School on Formal Techniques, Atherton, California, May 19-25, 2018

Natarajan Shankar shankar at csl.sri.com
Thu Mar 1 12:05:44 EST 2018



  Eighth Summer School on Formal Techniques, May 19 - May 25, 2018
  Menlo College
  Atherton, California
  http://fm.csl.sri.com/SSFT18

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
sixth 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:

*  Emina Torlak (University of Washington)
   Solver-Aided Programming

*  Mooly Sagiv (Tel Aviv University)
   Modularity for Decidability: Implementing and Semi-Automatically
    Verifying Distributed Systems

*  Nikhil Swamy and Jonathan Protzenko (Microsoft Research)
   Programming and Proving in F* and Low*

*  Andreas Abel (Chalmers/Gothenburg University)
   Introduction to Dependent Types and Agda

*  Dirk Beyer (Ludwig Maximilian University, Munich, Germany)
   Software Model Checking

The main lectures in the summer school will be preceded by a two-day
background course on
logic:

* Natarajan Shankar (SRI CSL) and Stephane Graham-Lengrand (Ecole
Polytechnique)
  Speaking Logic

We will also have invited talks by
* Nina Narodytska (VMWare Research)
  Verifying Properties of Binarized Deep Neural Networks
* Gordon Plotkin (U. Edinburgh, UK)
  Some Principles of Differentiable Programming Languages Research Papers
* Edward A. Lee (UC Berkeley)
  Plato and the Nerd - The Creative Partnership of Humans and Technology


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

We expect to provide support for the travel and accommodation for a
limited number
of students registered at US universities, but welcome applications from
non-US
students as well as non-students (if space permits).  Non-US students
will have to
cover their own travel and will be charged around US$800 for meals and
lodging.
Applications should be submitted at the website http://fm.csl.sri.com/SSFT18

Applicants are urged to submit their applications before April 30, 2018,
since
there are only a limited number of spaces available.  Non-US applicants
requiring
US visas are requested to apply early.  We strongly encourage the
participation of
women and under-represented minorities in the summer school.


More information about the Types-announce mailing list