Videos

Start date cannot be after end date.

Verified Mathematical Reasoning with Lean and Language Models

Presenter
  • Robert Joseph George
April 26, 2025
ICERM
Nonlocal peridynamic theory for materials modeling Thumbnail

Nonlocal peridynamic theory for materials modeling

Presenter
  • Qiang Du
December 4, 2012
IPAM
Univalence from a computer science point-of-view Thumbnail

Univalence from a computer science point-of-view

Presenter
  • Dan Licata
September 14, 2018
IAS
Fluctuating Hydrodynamics Approaches for Lipid Bilayer Membranes Thumbnail

Fluctuating Hydrodynamics Approaches for Lipid Bilayer Membranes

Presenter
  • Paul Atzberger
January 27, 2016
IPAM
Consensus Formation in Graphon Dynamics: Motsch&Tadmor Revisited Thumbnail

Consensus Formation in Graphon Dynamics: Motsch&Tadmor Revisited

Presenter
  • Benoit Bonnet-Weill
March 20, 2025
IMSI
Around the Alexandrov-Fenchel Inequality Thumbnail

Around the Alexandrov-Fenchel Inequality

Presenter
  • Ramon Van Handel
January 27, 2025
IAS
Imitation Games Thumbnail

Imitation Games

Presenter
  • Avi Wigderson
May 6, 2021
IAS
Towards elementary infinity-toposes Thumbnail

Towards elementary infinity-toposes

Presenter
  • Michael Shulman
September 13, 2018
IAS
A jack of all trades Thumbnail

A jack of all trades

Presenter
  • Pamela Williams
March 26, 2010
IMA