Professor Michael Holden will be the next Rush Hour speaker on Thursday, October 20th from Noon -1pm in the Rector Stafford Lecture Room.  His talk is "Fear & Loathing on the Energy Front: A Savage Journey to the Heart of America's Quest for Cheap & Plentiful Energy".  Free pizza!

Abstract: An outsider looks at the conversion to sustainable energy sources from a relatively objective viewpoint.

Congratulations Professor Tim Wahls!  He recently had a paper accepted for the ACM Symposium on Applied Computing, Software verification and Testing Track. The title is: "Translating B Machines to JML Specifications", and the conference will be held in Riva del Garda, Italy in March 2012.  The paper is coauthored with Danni Yu ('11), Nestor Catano and Victor Rivera of the University of Madeira (Portugal), and Camilo Rueda of Pontificia Universidad Javeriana (Columbia).