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 eighth 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. The main lectures in the school which take place during May 21-25, 2018, are preceded by a background course on logic during May 19-20, 2018.


Speaking Logic: Background Course (May 19-20, 2018)

Invited Speakers



3.5GB ova file for VirtualBox, sha1 hash d843805da3406dfc38d8906f8b783b540796726e

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. We also 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 together with names of two references (preferably advisors, professors, or senior colleagues) using the form below.

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

Note that all fields are required
Male Female
Yes No
Yes No

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

Questions and Answers

  • First question?
    • First answer
      • First response
      • Second response
    • Second answer
  • Second question?