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: http://www.cs.nyu.edu/mailman/listinfo/colloq For more information, please contact Jillian Kerlin (kerlin@cs.nyu.edu).

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