This school will focus on the principles and practice of formal verification, emphasizing the hands-on use and development of this technology. It primarily targets graduate students who are interested in using verification technology in their own research, including areas such as engineering, biology, and mathematics. At the school, students will participate in exciting projects that build on the tools and techniques presented in the lectures. We have NSF support for the travel and accommodation for students from US universities, but we welcome applications from graduate students at non-US universities as well.

The lecturers at the school include

In addition to lectures and laboratories, we will have invited lectures from distinguished researchers. Please encourage the students in your department to apply for admission to the school. They can do so at the web site http://fm.csl.sri.com/MenloSchool Questions on any aspect of the school can be posted here.

-->