Videos

Start date cannot be after end date.
Leonardo de Moura - The Lean proof assistant: introduction and challenges - IPAM at UCLA Thumbnail

Leonardo de Moura - The Lean proof assistant: introduction and challenges - IPAM at UCLA

Presenter
  • Leonardo de Moura
February 14, 2023
IPAM

Lean 4

Presenter
  • Leonardo de Moura
July 15, 2022
ICERM
The melting Rubik's cube: from fluids to combinatorics and vice versa Thumbnail

The melting Rubik's cube: from fluids to combinatorics and vice versa

Presenter
  • Yann Brenier
June 27, 2018
IPAM
Second Order Mean Field Games and Entropy Minimization Thumbnail

Second Order Mean Field Games and Entropy Minimization

Presenter
  • Luca Nenna
August 29, 2017
IPAM
Introduction to Natural Quasirandomness: Unique Colorability and Order-ability Thumbnail

Introduction to Natural Quasirandomness: Unique Colorability and Order-ability

Presenter
  • Leonardo Coregliano
November 8, 2022
IAS
Structural complexity of universal theories via continuous combinatorics Thumbnail

Structural complexity of universal theories via continuous combinatorics

Presenter
  • Leonardo Coregliano
September 21, 2022
IAS
Association schemes and codes II: Completeness of the hierarchy of high-order Hamming schemes Thumbnail

Association schemes and codes II: Completeness of the hierarchy of high-order Hamming schemes

Presenter
  • Leonardo Coregliano
May 17, 2022
IAS
Association schemes and codes I: The Delsarte linear program Thumbnail

Association schemes and codes I: The Delsarte linear program

Presenter
  • Leonardo Coregliano
May 10, 2022
IAS
Introduction to Continuous Combinatorics II: semantic limits Thumbnail

Introduction to Continuous Combinatorics II: semantic limits

Presenter
  • Leonardo Coregliano
November 9, 2021
IAS
Introduction to Continuous Combinatorics I: the semidefinite method of flag algebras Thumbnail

Introduction to Continuous Combinatorics I: the semidefinite method of flag algebras

Presenter
  • Leonardo Coregliano
November 2, 2021
IAS
The abstract chromatic number Thumbnail

The abstract chromatic number

Presenter
  • Leonardo Coregliano
March 22, 2021
IAS
Introduction to quantized enveloping algebras Thumbnail

Introduction to quantized enveloping algebras

Presenter
  • Leonardo Maltoni
January 28, 2021
IAS