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

Background Course on Logic


Clark Barrett (NYU/Stanford), Stefano Tonetta (FBK Italy), Jean-Christophe Filliatre (LRI Paris), Carolyn Talcott (SRI), and Natarajan Shankar (SRI)

Invited Speakers

† Alessandro Cimatti is unable to lecture at the summer school. Professor Stefano Tonetta (FBK Italy) has kindly agreed to take his place.

‡ Professor Sol Feferman is unable to present a lecture. We are pleased to announce that Professor Johan van Benthem (Amsterdam and Stanford) has kindly agreed to lecture in his place.


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 for meals and lodging. Applications should be submitted at the website

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

NOTE: Underrepresented minority refers to African Americans, Mexican-Americans, Native Americans (American Indians, Alaska Natives, and Native Hawaiians), Pacific Islanders, and mainland Puerto Ricans.