First Summer School on Formal Techniques

From SRI Formal Methods
Jump to: navigation, search

First Summer School on Formal Techniques

Mar 22-27, 2011

Menlo College, Atherton, CA (map)

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

  • Leonardo de Moura and Bruno Dutertre: Satisfiability Modulo Theories
  • Jason Baumgartner: Hardware Verification
  • David Monniaux: Static Analysis
  • Ken McMillan: Computer-Aided Verification
  • Neha Rungta and Peter Mehlitz: Java PathFinder
  • Natarajan Shankar: Interactive Theorem Proving

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 Feel free to ask questions on any aspect of the school in the discussion page.

Personal tools