Videos

Start date cannot be after end date.
The Resolution proof system Thumbnail

The Resolution proof system

Presenter
  • Avi Wigderson
March 22, 2016
IAS
Polynomial-time tensor decompositions via sum-of-squares Thumbnail

Polynomial-time tensor decompositions via sum-of-squares

Presenter
  • Tengyu Ma
March 21, 2016
IAS
Proof complexity - an introduction Thumbnail

Proof complexity - an introduction

Presenter
  • Avi Wigderson
March 15, 2016
IAS
PDE Constrained Optimization with Uncertain Data Thumbnail

PDE Constrained Optimization with Uncertain Data

Presenter
  • Matthias Heinkenschloss
March 14, 2016
IMA
Graph isomorphism in quasipolynomial time I Thumbnail

Graph isomorphism in quasipolynomial time I

Presenter
  • László Babai
February 29, 2016
IAS
Minkowski sums, mixed faces and combinatorial isoperimetry Thumbnail

Minkowski sums, mixed faces and combinatorial isoperimetry

Presenter
  • Karim Adiprasito
February 23, 2016
IAS
The deterministic communication complexity of approximate fixed point Thumbnail

The deterministic communication complexity of approximate fixed point

Presenter
  • Omri Weinstein
February 22, 2016
IAS
The singularity of symbolic matrices Thumbnail

The singularity of symbolic matrices

Presenter
  • Avi Wigderson
February 16, 2016
IAS
The singularity of symbolic matrices Thumbnail

The singularity of symbolic matrices

Presenter
  • Avi Wigderson
February 9, 2016
IAS