Start date cannot be after end date.
Introduction to Natural Quasirandomness: Unique Colorability and Order-ability
Presenter
- Leonardo Coregliano
November 8, 2022
IAS
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
Presenter
- Leonardo Coregliano
May 17, 2022
IAS
Association schemes and codes I: The Delsarte linear program
Presenter
- Leonardo Coregliano
May 10, 2022
IAS
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
Presenter
- Leonardo Coregliano
November 2, 2021
IAS
Leonardo de Moura - The Lean proof assistant: introduction and challenges - IPAM at UCLA
Presenter
- Leonardo de Moura
February 14, 2023
IPAM
