Papers and talks from the workshop can be found here: http://leecenter.caltech.edu/workshop09/workshopindex09.html

Photos can be found here: http://leecenter.caltech.edu/workshop09/WorkshopPhotos09

The Lee Center Workshop was held on May 22nd at the Pasadena Westin Hotel from 8AM-5PM. This year's plenary speakers are: Gerard J. Holzmann from the Jet Propulsion Lab, http://leecenter.caltech.edu/workshop09/holzmann.html
and David Tse from U.C. Berkeley http://leecenter.caltech.edu/workshop09/tse.html

This workshop was sponsored by the Lee Center and Qualcomm.