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: For more information, please contact Jillian Sullivan (

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
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

top | contact