Start date cannot be after end date.
A Multi-Prover Interactive proof for NEXP Sound Against Entangled Provers
Presenter
- Tsuyoshi Ito
October 15, 2012
IAS
On the Conjectures of Nonnegative $k$-Sum and Hypergraph Matching
Presenter
- Hao Huang
October 9, 2012
IAS
CSDM: A Survey of Lower Bounds for the Resolution Proof System
Presenter
- Avi Wigderson
January 31, 2012
IAS
CSDM: A Tutorial on the Likely Worst-Case Complexities of NP-Complete Problems
Presenter
- Russell Impagliazzo
January 24, 2012
IAS
Incidence Geometry and Applications in Theoretical Computer Science
Presenter
- Shubhangi Saraf
December 7, 2011
SLMath
A Nearly Optimal Solution for the Chow Parameters Problem and Applications
Presenter
- Ilias Diakonikolas
December 6, 2011
SLMath
Multi-Way Spectral Partitioning and Higher-Order Cheeger Inequalities
Presenter
- James Lee
December 5, 2011
SLMath
A stochastic framework for discrete models in systems biology
Presenter
- David Murrugarra
September 1, 2011
MBI
