International Congress on Mathematical Software 2026

ICMS 2026

Wilfrid Laurier University and University of Waterloo
Waterloo, Ontario, Canada, 20-23 July, 2026

The International Congress on Mathematical Software is a bi-annual congress that gathers the mathematicians, scientists and computer scientists who are interested in the development of mathematical software. ICMS 2026 is a satellite meeting of the International Congress of Mathematicians that is being held in Philadelphia the following week. For more information on past conferences, see the ICMS home page.

Participants are encouraged to check the Government of Canada entry requirements web site to determine whether a visa is necessary.

Invited Speakers


Bettina Eick	Chris Rackauckas	Mike Stillman
Institut Analysis und Algebra Technische Universität Braunschweig	Scientific Machine Learning Lab MIT	Department of Mathematics Cornell University
Computational Group Theory and the Classification of Finite Groups	The Role of Human Engineers and Mathematicians in the Age of AI	Computational Algebraic Geometry, Applications to Physics, and Macaulay2

Program

Time	Monday	Tuesday	Wednesday	Thursday
9:00 - 10:00	Registration	Plenary: Eick	Plenary: Rackauckas	Plenary: Stillman
10:00 - 10:30	Opening Remarks	Coffee Break	Coffee Break	Coffee Break
10:30 - 12:00	Parallel Sessions 9: Biology and Computer Algebra 4: Parallelization, AI, and Physics 12: Combinatorial Algebra and Geometry 3: Category Theory 13: Weighted Projective Spaces	Parallel Sessions 9: Biology and Computer Algebra 11: Mathematical Knowledge Management 8: Enumerative and Analytic Combinatorics 3: Category Theory 7: Quarternion Matrix/Tensor	Parallel Sessions 9: Biology and Computer Algebra 11: Mathematical Knowledge Management 6: High-Performance Computer Algebra 3: Category Theory 1: Proof Assistants, CAS, and AI	Parallel Sessions 9: Biology and Computer Algebra 10: Design and Implementations of CAS 6: High-Performance Computer Algebra 15: General 5: Lean
12:00 - 14:00	Lunch	Lunch	Lunch(12:00-13:30)	Lunch
14:00 - 15:30	Parallel Sessions 9: Biology and Computer Algebra 14: Symbolic-Numeric Computation 12: Combinatorial Algebra and Geometry 4: Parallelization, AI, and Physics 13: Weighted Projective Spaces	Parallel Sessions 9: Biology and Computer Algebra 14: Symbolic-Numeric Computation 11: Mathematical Knowledge Management 8: Enumerative and Analytic Combinatorics 7: Quarternion Matrix/Tensor	Parallel Sessions (13:30-15:00) 9: Biology and Computer Algebra 14: Symbolic-Numeric Computation 11: Mathematical Knowledge Management 6: High-Performance Computer Algebra 1: Proof Assistants, CAS, and AI	Parallel Sessions 5: Lean 14: Symbolic-Numeric Computation 10: Design and Implementations of CAS 6: High-Performance Computer Algebra 1: Proof Assistants, CAS, and AI
15:30 - 16:00	Coffee Break	Coffee Break	Excursion (15:10-evening)	Coffee Break
16:00 - 17:30	Parallel Sessions 2: Algebraic Solvers for Polynomial Systems 14: Symbolic-Numeric Computation 12: Combinatorial Algebra and Geometry 3: Category Theory 13: Weighted Projective Spaces	Parallel Sessions 2: Algebraic Solvers for Polynomial Systems 14: Symbolic-Numeric Computation 11: Mathematical Knowledge Management 8: Enumerative and Analytic Combinatorics 7: Quarternion Matrix/Tensor	Excursion (15:10-evening)	Parallel Sessions 5: Lean 14: Symbolic-Numeric Computation 10: Design and Implementations of CAS 6: High-Performance Computer Algebra
evening	Evening Reception (Maplesoft)		Conference Dinner

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

Important Dates

Session proposal submission: December 1, 2025
Session proposal decisions: December 17, 2025
Short Abstract Submission: March 16, 2026 (extended).
[Submission by Email to the session organizers]
Opening Date of Registrations: April 6
Extended Abstract/Full Paper Submission: April 18 (extended).
[Submission at https://easychair.org/conferences/?conf=icms26]
Poster Submission: May 9, 2026.
[Submission at icms26-submit@inria.fr]
PC decision on extended abstracts and posters: June 2nd, 2026 (extended)
Early Registration Ends: June 15, 2026
Camera Ready Papers: July 2nd, 2026 (extended)
9th ICMS in Waterloo: July 20-23, 2026

Proceedings

The conference proceedings are planned to be part of the series Lecture Notes in Computer Science published by Springer, as previously.