Formal verification techniques such as model checking, satisfiability, and static analysis have matured rapidly in recent years. This school, the third in the series, will focus on the principles and practice of formal verification, 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 using verification technology in their own research in computing as well as engineering, biology, and mathematics. Students at the school will have the opportunity to experiment with the tools and techniques presented in the lectures.

The first (SSFT11) and second (SSFT12) Summer Formal schools were held in May 2011 and 2012.

We have NSF support for the travel and accommodation for students from US universities, but welcome applications from graduate students at non-US universities as well (cost will be around $500 to cover boarding/lodging).


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