International Congress on Mathematical Software 2026

Sessions

The following sessions have been accepted.

Submissions to these sessions will be open shortly.

  1. Automating Mathematical Reasoning: Interactions Between Proof Assistants, Computer Algebra Systems (CAS) and Generative AI, Mohammad Abdulaziz (King's College London), Wenda Li (University of Edinburgh), Cristopher Salvi (Imperial College London), Zhengfeng Yang (East China Normal University), Jujian Zhang (Imperial College London), Lihong Zhi (Chinese Academy of Sciences).
  2. Algebraic Solvers for Polynomial Systems, Jérémy Berthomieu (Sorbonne Université, Paris, France).
  3. Computational Category Theory, Mohamed Barakat (Siegen), Kristopher Brown (Topos Instiute, Berkeley), Kevin Carlson (Topos Instiute, Berkeley).
  4. Advances in Computer Algebra: Parallel Methods, AI, and Applications in Physics, Janko Boehm (Kaiserslautern).
  5. Mathematics in Lean, Matthew Ballard (USC), Rémy Degenne (Lille), Damiano Testa (Warwick).
  6. High-Performance Computer Algebra, Alexander Brandt (Halifax), Marc Moreno Maza (Western).
  7. Computing Methods in (Dual) Quaternion Matrix/Tensor, Qing-Wen Wang (Shanghai University), Xin Liu (Macau University of Science and Technology), Yang Zhang (University of Manitoba).
  8. Software for Enumerative and Analytic Combinatorics, Stephen Melczer (Waterloo).
  9. Biological Applications of Computer Algebra, Joseph Cummings (University of Edinburgh), Marina Garrote-Lopez (Barcelona School of Economics), Oskar Henriksson (Max Planck Institute of Molecular Cell Biology and Genetics).
  10. Design and Implementation of Computer Algebra Systems and Software, Paul DeMarco (Maplesoft), Michael Monagan (Simon Fraser U) and Stephen Watt (U Waterloo).
  11. Mathematical Knowledge Management, Ilka Agricola (U Marburg), Patrick Ion (U MIchigan & IMKT), Moritz Schubotz (FIZ Karlsruhe) and Stephen Watt (U Waterloo).
  12. Computational Methods in Combinatorial Algebra and Geometry, Oliver Clarke (Durham), Dante Luber (Paderborn).
  13. Computational Aspects of Weighted Projective Spaces, Sajad Salami (Rio de Janeiro, Brazil), Tony Shaska (Oakland University, USA).
  14. Symbolic-Numeric Computation, Juergen Gerhard (Maplesoft), Erik Postma (Maplesoft), and Rob Corless (Western University).
  15. Symmetry Exploitation and Computational Aspects of Invariant Theory, Tobias Metzlaff.
  16. General, tba.

Call for Session Proposals

For instructions on submission of session proposals, see the call for session proposals.