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
Grothendieck Inequalities, XOR Games, and Communication Complexity
Presenter
- Troy Lee
November 2, 2009
IAS
CSDM - Rigorous RG: a provably efficient and possibly practical algorithm for simulating 1D quantum systems
Presenter
- Umesh Vazirani
September 18, 2017
IAS
Connes Embedding Problem, Kirchberg's Conjecture and Tsirelson's Problem
Presenter
- Thomas Vidick
March 27, 2023
IAS