Start date cannot be after end date.
Verified Mathematical Reasoning with Lean and Language Models
Presenter
- Robert Joseph George
April 26, 2025
ICERM
Accelerated materials innovation using AI/ML and Digital Twins
Presenter
- Surya Kalidindi
April 24, 2025
IMSI
One-dimensional compressible Euler equations with non-local effects
Presenter
- Ewelina Zatorska
March 20, 2025
IMSI
Optimal circle and sphere packings in low dimensions using distance distribution.
Presenter
- Oleg Musin
February 14, 2025
ICERM
Experimental Takes: circle packing and discrete schwarzians
Presenter
- Kenneth Stephenson
February 10, 2025
ICERM
Introductory Workshop - Graph Theory: Extremal, Probabilistic and Structural: Introduction to graph (product) structure theory
Presenter
- David Wood
February 10, 2025
SLMath
On some non-intrusive implementations of ROM techniques for the effective simulation of engineering problems
Presenter
- Ludovic Chamoin
February 5, 2025
IMSI
Introductory Workshop: Probability and Statistics of Discrete Structures: Random Sampling of Connected Balanced Graph Partitions
Presenter
- Sarah Cannon
January 30, 2025
SLMath
Introductory Workshop: Probability and Statistics of Discrete Structures: Graphs, Markov chains, and branching distributional equations
Presenter
- Mariana Olvera-Cravioto
January 28, 2025
SLMath
Problems in Extremal Combinatorics and Connections with Multiparty Communication Complexity
Presenter
- Zander Kelley
December 17, 2024
IAS