International Congress on Mathematical Software 2026

ICMS 2026 Full Program

Waterloo, Ontario, Canada, 20–23 July 2026

Monday, 20 July

Parallel 1	Parallel 2	Parallel 3	Parallel 4	Parallel 5
9:00–10:00
Registration and coffee [BA Lobby]
10:00–10:30
Opening Remarks [BA101]
10:30–12:00
4 Parallelization, AI, and Physics [BA112] Overview talk AI-Assisted Computer Algebra with Singular: Interfaces, Workflows, and Applications Janko Böhm Using Singular for the State-of-the-Art Feynman Integral Reduction Yang Zhang Massively Parallel Computation Networks: A Petri-Net Language in Singular, a Mathematical Type System, and AI-Assisted Petri-Net Design Magdaleen Marais	3 Computational Category Theory [BA210] Session plenary CatColab: Formal Collaborative Modeling Based on Category Theory Evan Patterson More Flexible Interfaces for Specifying Simulations of Systems in CatColab Matt Cuffaro	9 Biological Applications of Computer Algebra [BA101] Bistability and Linear Relations in a Model of Caspase Activation Anne Shiu The Allee Effect: A Case Study of Numerical Methods Aviva K. Englander Identifiability of Linear Compartmental Models Cash Bortner	12 Combinatorial Algebra and Geometry [BA110] Tropical k-means clustering for phylogenetic trees Lena Weis The EuclideanDistanceDegree package for Macaulay2 Will Huang Distance-Reducing Markov Bases in Toric Ideals of Graphs and Bouquet Decompositions Alex Milner
12:00–14:00
Lunch
14:00–15:30
4 Parallelization, AI, and Physics [BA112] Parallel Buchberger's Algorithm in Singular/GPI-Space with Applications to Feynman Integrals Marcel Wittmann Algorithmic Approach to Finding Minimal Model Surfaces Benjamin Mirgain Combinatorial Tropical Homotopy Continuation Yue Ren	15 General Session [BA210] Trajectory Planning and Certification for 3-DOF Robot Manipulators Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems Yu Nakai, Akira Terui, and Masahiko Mikawa WebAssembly for Edge Scientific Computing: Neural Simulation and Xiangqi (Chinese Chess) Martin D. Pham A Database of Binary Septics and Applications to Galois Theory and Coding Jurgen Mezinaj		12 Combinatorial Algebra and Geometry [BA110] The strong exchange property for Coxeter matroids Aram Dermenjian Fast isotopy computation for combinatorial patchworks Michael Joswig Enumeration of Coherent Matching Fields Modulo Symmetry Yiyuan Chen	14 Symbolic-Numeric Computation [BA102] Introductory presentation Hybrid Symbolic-Numeric Computing: A Personal View Rob Corless Tensor Optimization Framework for Sums-of-Squares Certification Tanmaya Karmarkar, Yves Lucet, and Narendra Karmarkar Randomized Algorithms for Verifying Monodromy Groups Juhee Kim and Taylor Brysiewicz
15:30–16:00
Coffee break [BA Lobby]
16:00–17:30
2 Algebraic Solvers for Polynomial Systems [BA101] Gröbner Bases of Determinantal Ideals Sriram Gopalakrishnan On True Arc-Length Parameterized Splines Dafna K. Matsegora and Stephen M. Watt Stability of Sobolev-Regularized Polynomial Differentiation Matrices Deepak Singh Kalhan, Robert Corless, and Stephen M. Watt	3 Computational Category Theory [BA210] Categorical Message Passing Language (CaMPL) and Its Semantics Xanna Little Relational to RDF Data Migration by Query Co-Evaluation Ryan Wisnesky and Daniel Filonik Categorical Structures in MATLAB and Octave Programming Nelson Martins-Ferreira		12 Combinatorial Algebra and Geometry [BA110] Introduction to OSCAR for research Dante Luber	14 Symbolic-Numeric Computation [BA102] Holonomic Gradient Method: A Symbolic-Numeric Method to Evaluate Integrals with Parameters Nobuki Takayama, Takaharu Yaguchi, and Yi Zhang Computing Periodic Golay Pairs Using SAT Solvers Bernhard Andraschko, Ilias Kotsireas, and Martin Kreuzer Computer-Assisted Discovery and Proofs of Compatibility Conditions for Three Projective Cameras Anton Leykin
Evening
Evening Reception [Maplesoft]

Tuesday, 21 July

Parallel 1	Parallel 2	Parallel 3	Parallel 4	Parallel 5
9:00–10:00
Plenary — Bettina Eick Computational Group Theory and the Classification of Finite Groups [BA101]
10:00–10:30
Coffee break [BA Lobby]
10:30–12:00
7 Quaternion Matrix/Tensor [BA112] Factoring in the Quantum Plane over Q(ω)(t) Mark Giesbrecht Efficient Implementation of Minor Left Prime Factorization for Multivariate Polynomial Matrices Dingkang Wang Subresultants of Several Ore Polynomials Jing Yang	8 Enumerative and Analytic Combinatorics [BA208] Computing Asymptotics of Multivariate Algebraic Generating Functions Tiadora Ruza nth: Open-Source Generic Combinatorial (Un)ranking via the Symbolic Method Gustavo Zambonin CombOL: A Library for Practical Enumeration and Boltzmann Sampling of Combinatorial Classes Casper Asbjørn Eriksen	9 Biological Applications of Computer Algebra [BA101] Beyond Independent Component Analysis: Identifiability and Algorithms Álvaro Ribot Tensor Algebra Approaches for Multi-Omics Data Analysis Neriman Tokcan When to Measure to Estimate Parameters in ODE Models? Alexey Ovchinnikov	11 Mathematical Knowledge Management [BA110] Fraudulent Publishing in the Mathematical Sciences: A Glimpse at the Parallel Universe of Fake Science Ilka Agricola Comparing Human Perception, Computer-Algebra-Based Algorithmic Approaches, and Generative AI for Ranking Elementary Geometry Statements P. Tolmos, P. Velez, and T. Recio Multi-Label Classification of Mathematical Software Communities Using Graph-Based Modeling of Structured Domain Metadata Maxence Azzouz-Thuderoz, Yuni Susanti, and Moritz Schubotz	3 Computational Category Theory [BA210] Transpiling CAP from GAP to Julia: Bridging Two Worlds of Computational Algebra Kamal Saleh Equivariant Orlik–Solomon Algebras Tom Kuhmichel Implementing Bisets for Groups in CAP Marc Talleux
12:00–14:00
Lunch
14:00–15:30
7 Quaternion Matrix/Tensor [BA112] Some Matrix Equations over the Dual Quaternions with Applications Jiangfeng Chen and Qing-Wen Wang Higher-Order Reduced Biquaternion Matrices Shi Lei Computing Tensor Ranks for Third-Order Quaternion Tensors Yang Zhang	8 Enumerative and Analytic Combinatorics [BA208] Quasi-Polynomials, Z-Polyhedra, and Parametric Integer Linear Programming Yuzhuo Lei and Chirantan Mukherjee PLPP: A SageMath Package for Computing and Manipulating Local Permutation Polynomials and Latin Hypercubes Jaime Gutierrez Tilepaint: Visualizations and Calculations in Tilings, Perfect Matchings, and Polymer Covers Leigh Foster	9 Biological Applications of Computer Algebra [BA101] Computational and Algebraic Questions in Causal Inference Alex Markham DAG Learning for Graphical Discrete Lyapunov Models under Non-Gaussianity Qixia Luo Algebraic Deconvolution of Transcriptomic Data: A Free Probability Approach to High-Dimensional Signal Recovery Luis Sierra Muntané	11 Mathematical Knowledge Management [BA110] Session plenary Mathlib: A Formally Verified Repository of Mathematical Knowledge [online] Kevin M. Buzzard The Landscape of Collections of Mathematical Objects Katja Berčič How to Build a Formal Mathematical Library in Which Communication Is Prioritized over Certification William M. Farmer	14 Symbolic-Numeric Computation [BA102] Mixed Volume and Ramification Points of Polyhedral Homotopies Joseph Cummings and Jonathan D. Hauenstein Parallel Certification of Roots of Polynomial Systems Paul Breiding, David Johnson, and Taylor Brysiewicz Newton's Method for Real Powered Series Using PHCpack and phcpy Katie Kruzan and Jan Verschelde
15:30–16:00
Coffee and posters [BA Lobby]
16:00–17:30
2 Algebraic Solvers for Polynomial Systems [BA101] msolve Jérémy Berthomieu, Christian Eder, Vincent Neiger, and Mohab Safey El Din A Data Structure for Monomial Ideals in Signature Gröbner Basis Computations Théo Ternier	8 Enumerative and Analytic Combinatorics [BA208] Enumerating Balanced Matrices Robert Dougherty-Bliss An Effective Proof of the p-Curvature Conjecture for First-Order Differential Equations with Rational Coefficients Lucas Pannier Fast Diagonals of Rational Functions in SageMath John H. Smith		11 Mathematical Knowledge Management [BA110] Extend Your Math with Semantics and Services Michael Kohlhase and Dennis Müller Improving Research Software Discoverability in Mathematical Literature at zbMATH Open Ankit Satpute, Maxence Azzouz-Thuderoz, André Greiner-Petter, Daniel Mietchen, Olaf Teschke, and Moritz Schubotz NuFrameIT: Serious Games via Computation and Reasoning Stefanie Heim, Michael Kohlhase, Silas Kuder, and Florian Rabe	14 Symbolic-Numeric Computation [BA102] Numerical Elimination and Parameter Space Exploration Oskar Henriksson Belyi Map Verification Using Certified Path Tracking Alexandre Guillemot and John Voigt Certifying Algebraic Structures via Interval Arithmetic Kisun Lee
ICMS Business Meeting [17:30 BA101]

Wednesday, 22 July

Parallel 1	Parallel 2	Parallel 3	Parallel 4	Parallel 5
9:00–10:00
Plenary — Christopher Rackauckas The Role of Human Engineers and Mathematicians in the Age of AI [BA101]
10:00–10:30
Coffee break [BA Lobby]
10:30–12:00
1 Proof Assistants, CAS, and AI [BA112] Formalization of Combinatorial Curve Neighborhoods in the Affine Flag Manifold of Type A_1^(1) [online] Yihe Huang Sizhe Cui, Jiaqi Wang, Jujian Zhang Formalizing Wu-Ritt Method in Lean 4 [online] Yuxuan Xiao, Hao Shen, Junyu Guo, Dingkang Wang and Lihong Zhi Algebraic Reasoning in Lean 4 [online] Junyu Guo, Hao Shen, Junqi Liu and Lihong Zhi	3 Computational Category Theory [BA210] Category-Equivariant Neural Networks: Equivariant Learning Beyond Group Symmetries Yoshihiro Maruyama and Ryo Nasu Session plenary TensorType: Implementing and Extending Deep Learning with Types [online] Bruno Gavranović	6 High-Performance Computer Algebra [BA208] Multithreaded Programming in the BPAS Library Alexander Brandt Parallel Computation of the Power Series Solutions to Algebraic and Differential Equations Greg Alejandro Solis-Reyes, Marc Moreno Maza, and Alexander Brandt Sparse Polynomial Multiplication on Chiplet-Based Architectures Miriam Okutuo and Alexander Brandt	9 Biological Applications of Computer Algebra [BA101] Algebraic Invariants for Inferring Four-Leaf Semi-Directed Phylogenetic Networks Samuel Martin Phylogenetic Models, Data Structures, and Databases Antony Della Vecchia Semialgebraic Conditions for Detecting Hybrid Three-Cycles in Phylogenetic Networks Max Hill	11 Mathematical Knowledge Management [BA110] Scaling Accessible Mathematics on arXiv: HTML Conversion and MathML 4 Deyan Ginev Math for Visually Impaired People Ilka Agricola Author Intent: The Next Step in Advancing the Accessibility of Mathematics Neil Soiffer
12:00–13:30
Lunch
13:30–15:00
1 Proof Assistants, CAS, and AI [BA112] A Macaulay2-Lean interface for bridging proof and computation Matthew Ballard, Anton Leykin, Michael Stillman, Damiano Testa, Doug Torrance and Jay Yang Proof-of-work protocols for AI-generated solutions in mathematics [online] Erich Kaltofen Auto-formalization and Proof Synthesis via Semantic Equivalence Models [online] Vijay Ganesh	14 Symbolic-Numeric Computation [BA102] Computing the Eigenvalues of QM-Matrices and Q₁,₂-Matrices Laureano González-Vega Mathematical Software for the Evaluation of Distribution Functions of Quadratic Forms of Gaussian Random Variables Denis Arzelier, Florent Bréhard, and Mioara Joldes Approximating Periodic Orbits with Algebraic Curves and Related Minimal Problems Ruiqi Huang and Anton Leykin	6 High-Performance Computer Algebra [BA208] Parallelizing the F4 Algorithm for Gröbner Bases Roman Pearce Efficient Gröbner Tracing in Groebner.jl Alexander Demin Some Practical Implementations for Bivariate Gröbner Bases Xavier Dahan	9 Biological Applications of Computer Algebra [BA101] Phylogenetic Tree Inference with Tropical Axial Attention Ruriko Yoshida Tropical Gradient Descent Roan Talbut Quintet Concordance Factors and Identifiability Joseph Cummings	11 Mathematical Knowledge Management [BA110] Five Years of the Mathematical Research Data Initiative Moritz Schubotz Can We Have a Global Digital Mathematics Library? Patrick D. F. Ion Where Should the IMKT Be at Age 10? Stephen M. Watt
15:10–evening
Excursion and Conference Dinner

Thursday, 23 July

Parallel 1	Parallel 2	Parallel 3	Parallel 4	Parallel 5
9:00–10:00
Plenary — Mike Stillman Computational Algebraic Geometry, Applications to Physics, and Macaulay2 [BA101]
10:00–10:30
Coffee and posters [BA Lobby]
10:30–12:00
5 Mathematics in Lean [BA110] The Sphere Packing Project Sidharth Hariharan Ablation: A Tool for Probing Creativity and Constraint in Formalization Agents Zhengqin Fan, Simon DeDeo Automatically Translating Definitions and Proofs Jovan Gerbscheid	6 High-Performance Computer Algebra [BA208] The Extended Adjugate Matrix [online] Gennadi Malaschonok Computing with Diagonally Structured Matrices: CPU- and GPU-Accelerated Matrix Multiplication Shahadat Hossain Fast Rational Univariate Representation via Gaussian Elimination Alexander Demin and Fabrice Rouillier	9 Biological Applications of Computer Algebra [BA101] How Parallel Synapses Enhance Classification Capacity Caitlin Lienkaemper A Formal Model of Neuronal Circuits Samuel Desrochers	10 Design and Implementation of CAS [BA210] The Ax Computer Algebra System Roman Pearce Simplified Index Rules for Integrating Tensor Index Notation into Programming Languages with Static Type Systems Satoshi Egi An Exploration of Word Encodings for Symbolic Language Runtimes Stephen M. Watt
12:00–14:00
Lunch
14:00–15:30
5 Mathematics in Lean [BA110] Formalising Polychromatic Colourings of Integers Bhavik Mehta The Generalized Quantum Stein's Lemma Alex Meilburg Formalizing Quasi-BorelSpaces in Lean 4 Anthony Vandikas, Kiarash Sotoudeh	6 High-Performance Computer Algebra [BA208] Uncertainty Quantification in Parameter Estimation with Noisy Data Alexey Ovchinnikov Fast GPU Linear Algebra via Compile-Time Expression Fusion Ryan Curtin, Marcus Edel, and Conrad Sanderson Accelerating Multiple-Double Arithmetic with NVIDIA Tensor Cores Howard Chen and Jan Verschelde		10 Design and Implementation of CAS [BA210] How Maple Is Using AI to Boost Productivity Paul DeMarco Using a Machine Learning Model for Handwritten Digit Recognition in GeoGebra Mitsushi Fujimoto Performance Profiling of Symbolic Simplification in SymPy: A Large-Scale Benchmark Study Seerat Kaur and Jugpratap Singh	14 Symbolic-Numeric Computation [BA102] Taylor Tubes: A Technique to Improve the Speed and Accuracy of Validated IVP Algorithms Bingwei Zhang and Chee Yap ADTAYL: Taylor Series, ODEs, and Lie Derivatives in MATLAB Ned Nedialkov Certified Symbolic-Numeric Algorithms for Critical Engineering Applications Alexander Demin, Christina Katsamaki, and Fabrice Rouillier
15:30–16:00
Coffee break [BA Lobby]
16:00–17:30
5 Mathematics in Lean [BA110] Reflections on Trusting Lean Lorenzo Bresolin, Marcello Mamino	6 High-Performance Computer Algebra [BA208] Parallel Computations of Transversal Hypergraphs Adam Murdock Gale and Marc Moreno Maza Parallel Tropical Geometry and Celestial Mechanics Anton Leykin Big Integer Arithmetic on the GPU Omar Sobhy and Marc Moreno Maza		10 Design and Implementation of CAS [BA210] A Maple Implementation of a Parametric Linear System Solver Using Sparse Rational Function Interpolation Michael Monagan, Mantej Sohki, and Archit Srivastava Implementing p-Adic Numbers in Macaulay2 Using Its Foreign Function Interface and FLINT Douglas Torrance Accelerating the Factorization of Multilinear Boolean Polynomials Tian Chen and Michael Monagan	14 Symbolic-Numeric Computation [BA102] Eigensolvers for Polynomial Roots and Tensor Decomposition Enrica Barrilli and Bernard Mourrain Semi-Heuristic Acceleration of Near-Optimal Black-Box Polynomial Root-Finders Soo Go and Victor Y. Pan
Closing Remarks [17:30 BA101]

Please note: Minor changes to the schedule are still possible, provided all affected parties agree.