Videos

Start date cannot be after end date.
Univalence from a computer science point-of-view Thumbnail

Univalence from a computer science point-of-view

Presenter
  • Dan Licata
September 14, 2018
IAS
Algebraic K-theory, combinatorial K-theory and geometry Thumbnail

Algebraic K-theory, combinatorial K-theory and geometry

Presenter
  • Inna Zakharevich
September 14, 2018
IAS
On the proof of the conservativity conjecture Thumbnail

On the proof of the conservativity conjecture

Presenter
  • Joseph Ayoub
September 14, 2018
IAS
Perverse schobers and semi-orthogonal decompositions Thumbnail

Perverse schobers and semi-orthogonal decompositions

Presenter
  • Mikhail Kapranov
September 14, 2018
IAS
Overview: challenges and research directions in large scale data analytics and management Thumbnail

Overview: challenges and research directions in large scale data analytics and management

Presenter
  • René Jäkel
September 13, 2018
IPAM
The Challenges of Large-Scale Simulation Thumbnail

The Challenges of Large-Scale Simulation

Presenter
  • Jeffrey Hittinger
September 13, 2018
IPAM
Towards elementary infinity-toposes Thumbnail

Towards elementary infinity-toposes

Presenter
  • Michael Shulman
September 13, 2018
IAS
Even spaces and motivic resolutions Thumbnail

Even spaces and motivic resolutions

Presenter
  • Michael Hopkins
September 13, 2018
IAS
Universal Chow group of 0-cycle and nilpotence Thumbnail

Universal Chow group of 0-cycle and nilpotence

Presenter
  • Claire Voisin
September 13, 2018
IAS
A search for an algebraic equivalence analogue of motivic theories Thumbnail

A search for an algebraic equivalence analogue of motivic theories

Presenter
  • Eric Friedlander
September 13, 2018
IAS
Galois, Grothendieck and Voevodsky Thumbnail

Galois, Grothendieck and Voevodsky

Presenter
  • George Shabat
September 12, 2018
IAS
Univalent foundations and the equivalence principle Thumbnail

Univalent foundations and the equivalence principle

Presenter
  • Benedikt Ahrens
September 12, 2018
IAS