Recent advances in the life sciences have created a growing demand for rigorous computational tools that provide global and certifiable information about complex models and high-dimensional data sets. This gives rise to many new and interesting computational challenges that are often of an algebraic nature.
The goal of this session will be to bring together experts in a wide range of topics at the intersection of computational biology and computer algebra, and to spark new conversations across methodological boundaries.
The session will highlight applications in several areas of biology, such as ecology, phylogenetics, neuroscience, reaction network theory, transcriptomics, and more. In addition, it will showcase a broad range of algebraic techniques used to address key challenges in these areas, including (but not limited to) differential algebra, numerical algebraic geometry, symbolic computation, tensor decomposition, and tropical geometry.
The session is a part of the International Congress on Mathematical Software 2026.
Each talk will be 20 minutes long, followed by 5 minutes for questions.
Monday, July 20, 10:30 – 12:00
Anne Shiu (Texas A&M)
Bistability and linear relations in a model of caspase activation [Abstract]
Aviva K. Englander (University of Wisconsin–Madison)
The Allee effect: a case study of numerical methods [Abstract]
Seokhwan Moon (University of Wisconsin–Madison)
Arithmetic computation and mixing-time analysis in stochastic chemical reaction networks [Abstract]
Monday, July 20, 14:00 – 15:30
Xiaoxian Tang (Beihang University)
Detecting the smallest multistable zero-one reaction networks [Abstract]
Cash Bortner (California State University, Stanislaus)
Identifiability of linear compartmental models [Abstract]
Jordy Lopez Garcia (University of Notre Dame)
Identifiability of directed-cycle and catenary linear compartmental models [Abstract]
Tuesday, July 21, 10:30 – 12:00
Álvaro Ribot (Harvard University)
Beyond independent component analysis: identifiability and algorithms [Abstract]
Neriman Tokcan (University of Massachusetts Boston)
Tensor algebra approaches for multi-omics data analysis [Abstract]
Alexey Ovchinnikov (CUNY Queens College and Graduate Center)
When to measure to estimate parameters in ODE models? [Abstract]
Tuesday, July 21, 14:00 – 15:30
Alex Markham (University of Copenhagen)
Computational and algebraic questions in causal inference [Abstract]
Qixia Luo (The University of British Columbia)
DAG Learning for Graphical Discrete Lyapunov Models under Non-Gaussianity [Abstract]
Luis Sierra Muntané (University of Toronto)
Algebraic deconvolution of transcriptomic data: A free probability approach to high-dimensional signal recovery [Abstract]
Wednesday, July 22, 10:30 – 12:00
Samuel Martin (European Bioinformatics Institute)
Algebraic invariants for inferring 4-leaf semi-directed phylogenetic networks [Abstract]
Antony Della Vecchia (TU Berlin)
Phylogenetic models, data structures and databases [Abstract]
Max Hill (University of Hawaiʻi at Mānoa)
Semialgebraic conditions for detecting hybrid 3-cycles in phylogenetic networks [Abstract]
Wednesday, July 22, 14:00 – 15:30
Ruriko Yoshida (Naval Postgraduate School)
Phylogenetic Tree Inference with Tropical Axial Attention [Abstract]
Roan Talbut (Durham University)
Tropical gradient descent [Abstract]
Bryson Kagy (Texas State University)
Quintet concordance factors and identifiability [Abstract]
Thursday, July 23, 10:30 – 12:00
Caitlin Lienkaemper (MIT)
How parallel synapses enhance classification capacity [Abstract]
Samuel Desrochers (University of Ottawa)
A formal model of neuronal circuits [Abstract]
Joseph Cummings (University of Edinburgh)
josephcummings03 [at] gmail [dot] com
Marina Garrote-López (Universitat Pompeu Fabra)
marina [dot] garrote [at] upf [dot] edu
Oskar Henriksson (MPI-CBG Dresden)
oskar [dot] henriksson [at] mpi-cbg [dot] de