Schedule - Fall 2004

September 2	Scott Smolka (SUNY Stony Brook)	Title: Monte Carlo Model Checking
September 9	Neil Immerman (University of Massachusetts, Amherst)	Title: The Boundary Between Decidability and Undecidability for Transitive-Closure Logics
September 16	The Graduate Center is closed
September 23	John Hopcroft (Cornell University)	Title: Computer Science Theory for the Information Age
September 30	Katherine St. John (CUNY)	Title: Computational Methods for Analyzing Phylogenetic Trees
October 7	Laxmi Parida (IBM Watson Research Center, Yorktown)	Title: Exploiting Regularities in Biological Data
October 14	Pierpaolo Battigalli (IGIER, Milano, Italy)	Title: Dynamic Psychological Games
October 21	Julia Hirschberg (Columbia)	Title: Experiments in Recognizing Emotional Speech
October 28	Howard Karloff (AT&T Labs-Research)	Title: On the Fractal Behavior of TCP
November 4	Nancy Lynch (MIT)	Title: Implementing Atomic Shared Memory in Dynamic Networks
November 11	Ernest Davis (NYU)	Title: A First-Order Theory of Communication and Multi-Agent Plans
November 18	Adam Brandenburger (NYU)	Title: ADMISSIBILITY IN GAMES
November 25	Thanksgiving Recess. The Graduate Center is closed.
December 2	Theodore Raphan (CUNY)	Title: Sensorimotor Strategies for Maintaining Orientation and Stability During Walking and Turning
December 9	Denis Blackmore (NJIT)	Title: Computer Science and Mathematics Synergy in the Representation of Geometric Objects