*All seminars held in 5130 Upson Hall at 4:00 pm unless otherwise noted*
Date & Time | Speaker | Title | Host |
Monday, Jan. 31, 2011 | ** Canceled ** |
** Canceled ** |
|
Friday, Feb. 4, 2011 *655 Rhodes, 3:30PM* |
Yinyu Ye Stanford University |
The Simplex and Policy-Iteration Methods are Strongly Polynomial for the Markov Decision Process with a Constant Discount |
CAM Colloquium |
Monday, Feb. 7, 2011 *Upson B17, 4:00PM* |
John Lafferty Carnegie Mellon University |
Graph Estimation | Statistics Seminar |
Monday, Feb. 14, 2011 | Huijia (Rachel) Lin Cornell University |
Concurrent Security | Rafael Pass |
Monday, Feb. 21, 2011 | Dexter Kozen Cornell University |
Computing with Capsules | |
Monday, Feb. 28, 2011 | Dexter Kozen Cornell University |
Coinduction | |
Monday, Mar. 7, 2011 | No Seminar: Grad Student Visit Day | ||
Friday, Mar. 11, 2011 ***Upson 5130, 3:30-4:30pm*** |
Nicole Immorlica Northwestern University |
Dueling Algorithms | Bobby Kleinberg |
Tuesday, Mar. 15, 2011 ***Upson B17, 4:15-5:15pm*** CS Colloquium |
Ryan Williams IBM Research |
Algorithms, Obstructions, and Beating Exhaustive Search | Bobby Kleinberg |
Thursday, Mar. 17, 2011 ***Upson B17, 4:15-5:15pm*** CS Colloquium |
Guy Rothblum Princeton University |
Differential Privacy: Recent Developements and Future Challenges | Rafael Pass |
Monday, Mar. 28, 2011 |
Bjarke Hammersholt Roune Cornell University |
Complexity and Algorithms for Euler Characteristic | Bobby Kleinberg |
Tuesday, Apr. 5, 2011 ***Upson B17, 4:15-5:15pm*** CS Colloquium |
Shubhangi Saraf MIT |
TBD | Bobby Kleinberg |
Thursday, Apr. 7, 2011 ***Upson B17, 4:15-5:15pm*** CS Colloquium |
David Steurer Microsoft Research |
TBD | Rafael Pass |
Monday, Apr. 25, 2011 | Alexandra Silva CWI |
Kleene Coalgebra | Dexter Kozen |
Monday, May 2, 2011 | Anna Blasiak Cornell University |
TBA | Bobby Kleinberg |
To receive email announcements about the Theory Seminar, subscribe to our mail list at https://lists.cs.cornell.edu/mailman/listinfo/theory-seminar-l.
Fall 2010 | Spring
2010 | Fall 2009 |
Spring 2009 |
Fall 2008 |
Spring 2008 |
Fall 2007 | Spring 2007
| Fall 2006