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, UMASS-Amherst
|
October 15th, 2007
|
Harvard
|
Algebrization: a new barrier to P v. NP
|
Scott Aaronson, MIT
|