Start date cannot be after end date.
From Lean to Natural Language and Back: Interfaces for Formal Proofs
Presenter
- Kyle Miller
April 26, 2025
ICERM
From Ising, dimers, and UST in 2d statistical physics to discrete surfaces in Minkowski spaces
Presenter
- Dmitry Chelkak
February 14, 2025
ICERM
Introductory Workshop - Graph Theory: Extremal, Probabilistic and Structural: Smoothed analysis for graph isomorphism
Presenter
- Matthew Kwan
February 13, 2025
SLMath
From Data to Structure: Learning Mechanical Systems Via Rational Functions
Presenter
- Steffen W. R. Werner
January 7, 2025
ICERM
From Chapman-Kolmogorov and Master equations from probability methods to the kinetic dynamics of neutrinos-antineutrinos modeled by Boltzmann Fermi-Dirac systems
Presenter
- Irene Gamba
July 8, 2024
ICERM
From Dynamics to Algorithms for Optimization and Sampling
Presenter
- Andre Wibisono
June 24, 2024
ICERM
Quasi Real-Time Simulations with Neural Networks for Industrial Applications
Presenter
- Yu-Chin Chan
March 23, 2024
ICERM
From data to the extreme properties of ultra-high-temperature ceramics
Presenter
- Stefano Curtarolo
March 12, 2024
IMSI
