Past Distinguished Lecture Series

• Amir Pnueli, New York University and Weizmann Institute
  Taming the Infinite: Verification of Parameterized Systems
  Time: Friday November 2, 2:00pm
  Location: Harriman Hall 108

• Dawson Engler, Stanford University
  How to find lots of bugs with system-specific static analysis
  Time: Friday November 30, 2:00pm
  Location Student Activities Center 302

• Steven Feiner, Columbia University
  Environment Management for Augmented Reality
  Time: Friday December 14, 2:00pm
  Location Javits 101

• Jim Foley, Georgia Tech
  Economic Development --- Research Universities' New Imperative
  Time: Friday February 8, 2:15pm
  Location Javits 102

• Mark Wegman, IBM T.J. Watson Research Center
  Optimizing Component Interaction
  Time: Friday March 1, 2:15pm
  Location Javits 102

• George Hart, SUNY Stony Brook
  Computational Geometry for Sculpture
  Time: Friday, March 8, 2:15pm
  Location Javits 102

• Tom Mitchell, Carnegie-Mellon University and WhizBang!
  Artificial Intelligence and the Imminent Revolution in Brain Science
  Time: Friday March 15, 2:15pm
  Location Javits 102