Scheduled Talks: Spring 2007

Following are announcements for talks scheduled for presentation by the Department of Computer Science. To subscribe or unsubscribe from the colloqium mailing list, use this page: For more information, please contact Jillian Kerlin (

Date Speaker/Affiliation Details Host
January 19, 2007 Alan Edelman, MIT An inner technical look at Interactive Supercomputing's Star-P for Parallel Computing with MATLAB(r) Michael Overton
January 26, 2007 William R. Pulleyblank, IBM Center for Business Optimization Embedding Optimization in Business: Five Critical Issues Michael Overton
February 2, 2007 Lyle Ungar, UPenn Document Mining using Things and Strings I. Dan Melamed
February 9, 2007 Doug James, Cornell Toward Multi-Sensory Physical Simulation Denis Zorin
March 2, 2007 Rob Fergus, MIT Removing Camera Shake from a Single Photograph Richard Cole
March 5, 2007 Antonio Torralba, MIT Integrated models of scenes and objects Richard Cole
March 19, 2007 Caitlin Kelleher, Carnegie Mellon University Storytelling Alice: presenting programming as a means to the end of storytelling Richard Cole
March 23, 2007 Adrien Treuille, University of Washington New approaches to modeling and control of complex dynamics Richard Cole
April 4, 2007 Svetlana Lazebnik, Beckman Institute, University of Illinois at Urbana-Champaign Object and Scene Recognition with Bags of Features and Spatial Pyramids Richard Cole
April 6, 2007 Manu Sridharan, University of California, Berkeley Practical Analysis Tools for Large-Scale Software Development Richard Cole
April 9, 2007 Patrick Cousot, École Normale Supérieure Abstract interpretation with applications to semantics and static analysis Amir Pnueli
April 13, 2007 Jernej Barbic, Carnegie Mellon University Real-time Deformable Objects: Graphics, Haptics, Sound Richard Cole
April 17, 2007 Aaron Bradley, Stanford University Analyzing Properties of Systems Richard Cole
April 20, 2007 Olga Sorkine, Technical University of Berlin Geometric manipulation using differential representations Richard Cole
April 20, 2007 Theory Day The IBM Research/NYU/Columbia Theory Day Yevgeniy Dodis
April 23, 2007 Panagiotis Manolios, Georgia Institute of Technology System-Level Verification of Register Transfer Level Designs Clark Barrett
April 27, 2007 Michael J. Freedman, Stanford University Democratizing content distribution Richard Cole
April 30, 2007 Jeremy Condit, University of California, Berkeley Deputy: Dependent Types for Safe Systems Software Richard Cole
May 2, 2007 Eftychios Sifakis, Stanford University The Technological Legacy of Virtual Human Simulation Richard Cole

top | contact