Seventh Summer School on Formal Techniques, May 21-26, 2017, Menlo College, Atherton

 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, s=
tatic
analysis, and automated theorem proving, are finding a broad range of appli=
cations
in modeling, analysis, verification, and synthesis. This school, the sixth =
in the
series, will focus on the principles and practice of formal techniques, wit=
h a
strong emphasis on the hands-on use and development of this technology. It
primarily targets graduate students and young researchers who are intereste=
d 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 cou=
rse 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=C3=A0 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 no=
n-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 lodg=
ing.
Applications should be submitted at the website http://fm.csl.sri.com/SSFT17

Applicants are urged to submit their applications before April 30, 2017, si=
nce
there are only a limited number of spaces available.  Non-US applicants req=
uiring
US visas are requested to apply early.  We strongly encourage the participa=
tion of
women and under-represented minorities in the summer school.=20