Videos

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

The Resolution proof system

Presenter
  • Avi Wigderson
March 22, 2016
IAS
Proof complexity - an introduction Thumbnail

Proof complexity - an introduction

Presenter
  • Avi Wigderson
March 15, 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
Matrix Rank - Extensions, Applications and Open Problems Thumbnail

Matrix Rank - Extensions, Applications and Open Problems

Presenter
  • Avi Wigderson
May 21, 2014
IPAM
Green Family Lecture Series: "Randomness and Pseudorandomness" Thumbnail

Green Family Lecture Series: "Randomness and Pseudorandomness"

Presenter
  • Eriko Hironaka
May 19, 2014
IPAM
Derandomizing BPL? Thumbnail

Derandomizing BPL?

Presenter
  • Avi Wigderson
February 26, 2013
IAS
CSDM: A Survey of Lower Bounds for the Resolution Proof System Thumbnail

CSDM: A Survey of Lower Bounds for the Resolution Proof System

Presenter
  • Avi Wigderson
January 31, 2012
IAS