Formal verification techniques such as model checking, satisfiability, and static analysis have matured rapidly in recent years. This school 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.
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.
The lecturers at the school include
We also have invited talks by
Questions on any aspect of the school can be posted here.