[TYPES/announce] Seventh Summer School on Formal Techniques, May 21-26, 2017, Menlo College, Atherton

[Sam Owre]

 Seventh Summer School on Formal Techniques, May 21 - May 26, 2017,
  Menlo College
  Atherton, California
  http://fm.csl.sri.com/SSFT17

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 will have a
seriously fun time experimenting with the tools and techniques presented in the
lectures during laboratory sessions.

The lecturers at the school include:

*  Stephanie Delaune (IRISA France):
   Verification of security protocols: from confidentiality to privacy

*  Marijn Heule (University of Texas at Austin):
   State-of-the-art SAT Solving

*  K. Rustan M. Leino (Microsoft Research, Redmond WA):
   Verified programs and proofs in Dafny

*  Sam Blackshear (Facebook):
   Building compositional static analyzers with Infer

*  Ashish Tiwari (SRI International Computer Science Laboratory):
   Formal Techniques for Analyzing Hybrid Systems

The main lectures in the summer school will be preceded by a background course on
logic taught by  Natarajan Shankar (SRI)and Stephane Graham-Lengrand (Ecole Polytechnique)
on  "Speaking Logic".   We will also have special invited talks presented by

* Paolo Mancosu, UC Berkeley
* Vaughan Pratt, Stanford
* Maria Paola Bonacina, Università degli Studi di Verona

Note: The school is preceded by the 9th NASA Formal Methods Symposium
(NFM) 2017 (https://ti.arc.nasa.gov/events/nfm-2017/) and the
associated sixth Automated Formal Methods (AFM) 2017
(http://fm.csl.sri.com/AFM17/) workshop. On May 20 there will be an
AFM tutorial day that students are encouraged to attend.

Information about previous Summer Schools on Formal Techniques can be found at
  http://fm.csl.sri.com/SSFT16

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$600 for meals and lodging.
Applications should be submitted at the website http://fm.csl.sri.com/SSFT17

Applicants are urged to submit their applications before April 30, 2017, 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.