Videos

Start date cannot be after end date.
An integral lift of contact homology Thumbnail

An integral lift of contact homology

Presenter
  • Joanna Nelson
September 28, 2015
IAS
Type theory and formalization of mathematics Thumbnail

Type theory and formalization of mathematics

Presenter
  • Anders Mörtberg
September 28, 2015
IAS
On cuspidality of global Arthur packets of quasi-split classical groups Thumbnail

On cuspidality of global Arthur packets of quasi-split classical groups

Presenter
  • Baiying Liu
September 28, 2015
IAS
Ramsey numbers of degenerate graphs Thumbnail

Ramsey numbers of degenerate graphs

Presenter
  • Choongbum Lee
September 28, 2015
IAS
Dynamics on moduli spaces and exceptional families of algebraic curves Thumbnail

Dynamics on moduli spaces and exceptional families of algebraic curves

Presenter
  • Alexander Wright
September 24, 2015
IAS
Invariants of 4-manifolds Thumbnail

Invariants of 4-manifolds

Presenter
  • Tye Lidman
September 24, 2015
IAS
Toward a new formalization of real numbers Thumbnail

Toward a new formalization of real numbers

Presenter
  • Catherine Lelay
September 24, 2015
IAS
Exponential separation of communication and external information Thumbnail

Exponential separation of communication and external information

Presenter
  • Gillat Kol
September 24, 2015
IAS
Lower bounds for De-Morgan formulae Thumbnail

Lower bounds for De-Morgan formulae

Presenter
  • Avishay Tal
September 24, 2015
IAS
Word-induced measures on groups Thumbnail

Word-induced measures on groups

Presenter
  • Doron Puder
September 24, 2015
IAS
Hodge theory for combinatorial geometries Thumbnail

Hodge theory for combinatorial geometries

Presenter
  • June Huh
September 22, 2015
IAS
Recent progress on random walk in groups Thumbnail

Recent progress on random walk in groups

Presenter
  • Robert Hough
September 22, 2015
IAS