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 species tree identifiability to composite likelihood-based inference: a statistician’s algebraic journey
Presenter
- Laura Kubatko
November 18, 2024
ICERM
Maximum Common Contractions Between Phylogenetic Networks
Presenter
- Manuel Lafond
October 25, 2024
ICERM
New bijections between phylogenetic and set-theoretic objects.
Presenter
- Andrew Francis
October 25, 2024
ICERM
Enumeration in mathematical phylogenetics: we are not afraid
Presenter
- Noah Rosenberg
October 24, 2024
ICERM
Beyond level-1: Identifying network features under a coalescent model
Presenter
- John Rhodes
October 23, 2024
ICERM
Accommodating rate heterogeneity to substitution models
Presenter
- Marta Casanellas
October 23, 2024
ICERM
Tropical Geometry Tools for Machine Learning and Phylogenomics
Presenter
- Ruriko Yoshida
October 23, 2024
ICERM
Using machine learning to accommodate complexity in phylogenetics
Presenter
- Megan Smith
October 23, 2024
ICERM