Videos

Start date cannot be after end date.

Fast, accurate and scalable solvers for the high-frequency Helmholtz equation

Presenter
  • Leonardo Zepeda Núñez
November 10, 2017
ICERM
Structural complexity of universal theories via continuous combinatorics Thumbnail

Structural complexity of universal theories via continuous combinatorics

Presenter
  • Leonardo Coregliano
September 21, 2022
IAS

Lean 4

Presenter
  • Leonardo de Moura
July 15, 2022
ICERM
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
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
Introduction to quantized enveloping algebras Thumbnail

Introduction to quantized enveloping algebras

Presenter
  • Leonardo Maltoni
January 21, 2021
IAS