Date

Location

Discussion topic(s)

Speaker

September 23th, 2009

MIT

Probabilistically Checkable Proofs (MIT Logic Seminar)

Madhu Sudan, Microsoft Research New England

March 10th, 2009

MIT

Geometric complexity theory: Part I (GCT flip)

Ketan Mulmuley, Univ. of Chicago

February 21st, 2008

MIT

The Algorithmic Lens: How the Computational Perspective is Transforming the
Sciences (Dertouzos Lecture Series)

Christos Papdimitriou, UC Berkeley

February 12th, 2008

MIT

Networking via content

Van Jacobson, PARC

December 14th, 2007

MIT

Mobility assisted routing etc.

Konstantinos Psounis, USC

December 11th, 2007

MIT

Urban sensing

Mario Gerla, UCLA

November 14th, 2007

Harvard

DTN routing

Brian Levine, UMASSAmherst

October 15th, 2007

Harvard

Algebrization: a new barrier to P v. NP

Scott Aaronson, MIT
