Scheduled Talks: Fall 2006

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 Sullivan (kerlin@cs.nyu.edu).

Date	Speaker/Affiliation	Details	Host
September 15, 2006	Maria Chudnovsky, Columbia University	Testing for a Theta	Michael Overton
September 22, 2006	Dr. Frank Tip, IBM Research Yorktown Heights	A Data-Centric Approach to Synchronization	Robert Grimm
September 29, 2006	Jack Schwartz, NYU Professor Emeritus	Bell's Inequalities for Quantum Probabilities	Chee Yap
October 6, 2006	Prof. Yanxi Liu, Carnegie Mellon University	Computational Symmetry	Chris Bregler
October 13, 2006	Analysis of Computer Systems Group	The Second Northeastern Verification Seminar	ACS Group
October 20, 2006	Steven M. Lavalle, University of Illinois - Urbana Champaign	Planning Algorithms and Information Spaces	Bud Mishra
October 20, 2006	Bernard Mourrain, Project GALAAD, INRIA, France	Subdivision Methods for Solving Polynomial Equations	Vikram Sharma
October 27, 2006	Aaron Stump, Washington University	Programming Languages and Automated Theorem Proving	Clark Barrett
November 3, 2006	Steve Smale, UC Berkeley and Toyota Institute Chicago	Some Thoughts on the Foundations of Scientific Computation	Chee Yap
November 10, 2006	Silvio Micali, MIT/td>	Transparent Achievement of Correlated Equilibrium	Yevgeniy Dodis
November 17, 2006	Tetsuo Asano, JAIST	Distance Trisector Curves and Zone Diagram with Approximation Using Convex Distance Metrics	Chee Yap
November 24, 2006	THANKSGIVING RECESS	HOLIDAY	NO COLLOQUIUM
December 1, 2006	Cancelled	Cancelled	Mehryar Mohri
December 8, 2006	Theory Day	The IBM Research|NYU|Columbia Theory Day	Yevgeniy Dodis
December 15, 2006	OPEN	OPEN	OPEN