Videos

Start date cannot be after end date.
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
Bipartite perfect matching is in quasi-NC Thumbnail

Bipartite perfect matching is in quasi-NC

Presenter
  • Stephen Fenner
February 8, 2016
IAS
Constant-round interactive-proofs for delegating computations Thumbnail

Constant-round interactive-proofs for delegating computations

Presenter
  • Ron Rothblum
February 1, 2016
IAS