Start date cannot be after end date.
Leonardo de Moura - The Lean proof assistant: introduction and challenges - IPAM at UCLA
Presenter
- Leonardo de Moura
February 14, 2023
IPAM
The melting Rubik's cube: from fluids to combinatorics and vice versa
Presenter
- Yann Brenier
June 27, 2018
IPAM
Recent Advances in Probabilistic Scientific Machine Learning for Chaotic Dynamical Systems
Presenter
- Leonardo Zepeda-Nu\u0301n\u0303ez
June 13, 2025
IMSI
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