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 seventh 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 developing 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.

Note: The school is preceded by the 9th NASA Formal Methods Symposium (NFM) 2017 and the associated sixth Automated Formal Methods (AFM) workshop. On May 20 there will be an AFM tutorial day that students are encouraged to attend.

Lecturers

Stephanie Delaune (IRISA France), Marijn Heule (University of Texas at Austin), K. Rustan M. Leino (Microsoft Research, Redmond WA), Sam Blackshear (Facebook), and Ashish Tiwari (SRI)

Background Course on Logic

Invited Speakers


Information about previous Summer Schools on Formal Techniques can be found at

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

Schedule

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.


Registration is now closed


Questions on any aspect of the school can be posted here.