Summer Formal 2011: First Summer School on Formal Techniques

Are you a graduate student interested in summer school and formal techniques?

Then this opportunity is for you!

May 23-27, 2011

Menlo College, Atherton, California USA

Formal verification techniques such as model checking, satisfiability,
and static analysis have matured rapidly in recent years.  These
techniques are widely applicable in computing as well as in engineering,
biology, and mathematics.  This school will focus on the principles and
practice of formal verification, with a strong emphasis on the hands-on
use of verification technology.  It primarily targets graduate students
who are interested in using or developing verification technology in
their own research.

We have NSF support for the travel and food/accommodation for students from
US universities, but welcome applications from graduate students at non-US
universities as well.

The lecturers at the school include

* Leonardo de Moura (Microsoft) and Bruno Dutertre (SRI International):
Satisfiability Modulo Theories
* Jason Baumgartner (IBM):
Hardware Verification: Model Checking and Equivalence Checking
* David Monniaux (VERIMAG):
Static Analysis
* Ken McMillan (Microsoft):
Abstraction, Interpolation, and Composition
* Neha Rungta and Peter Mehlitz (NASA Ames):
Software Verification with Java PathFinder
* Natarajan Shankar (SRI):
Interactive Theorem Proving

More information on the school can be found at
Students are invited to apply for admission to the school by visiting this
web site.  We especially welcome applications from women and
under-represented minorities.  Applications must be received by Mar 31, 2011.

Tom Ball, Lenore Zuck, and Natarajan Shankar
Summer Formal Steering Committee

Volunteer Opportunity: Mitzi Bond Science Fair

Hello fellow volunteers,

I hope everyone is having a great Spring Break!

I have a new volunteer opportunity for anyone who is interested in participating and lending their time and knowledge.
The Mitzi Bond Elementary School Science Fair Committee is in need of judges for their 2011 Science Fair.The fair will be held Thursday, March 24, 1:00-3:15 PM at Mitzi Bond Elementary School, 250 Lindbergh Avenue. It is a lot of fun for the judges and not difficult at all.
Remember that all of these hours go towards your ISCEP certification ( the International Society of Community Engagement for Professionals). I hope you take the time out of your busy schedule to volunteer for an event such as this one. If you have any questions regarding the event, the ISCEP certification, or volunteering please let engineering ambassador Janet Quiroz know ( Thank you for your time cooperation and have a relaxing Spring Break!

Create a website or blog at

Up ↑