Fwd: Automating Mathematical Reasoning: Interactions Between Proof Assistants, Computer Algebra Systems and Generative AI, at ICMS 2026

[Joao Marcos]

---------- Forwarded message ---------

Dear colleagues,

We invite submissions of short abstracts (approximately 200 words) for
contributed talks in the session: Automating Mathematical Reasoning:
Interactions Between Proof Assistants, Computer Algebra Systems (CAS)
and Generative AI to be held at the International Congress on
Mathematical Software (ICMS) 2026 (20–23 July 2026, Waterloo, Canada).

This session focuses on recent advances at the intersection of proof
assistants, computer algebra systems and algorithms, and generative AI,
with the aim of advancing the automation of mathematical reasoning. We
welcome contributions on topics including (but not limited to):

- Algebraic specification and formal semantics of symbolic algorithms

- AI-guided and generative methods for interactive theorem proving

- Integration of proof assistants with CAS and symbolic computation
systems

- Formal verification of mathematical algorithms and computational
methods

- Learning-based approaches to mathematical discovery and formalization

Deadline for abstract submission: February 23, 2026.

More information is available at:
https://icms-conference.org/2026/session1.html

To submit an abstract or to inquire further, please contact any of the
session organizers:

- Mohammad Abdulaziz (King's College London,
mohammad....@kcl.ac.uk),

- Wenda Li (University of Edinburgh, wend...@ed.ac.uk),

- Cristopher Salvi (Imperial College London, c.s...@imperial.ac.uk),

- Zhengfeng Yang (East China Normal University, zfy...@sei.ecnu.edu.cn),

- Jujian Zhang (Imperial College London, zhiyua...@imperial.ac.uk),

- Lihong Zhi (Chinese Academy of Sciences, lz...@mmrc.iss.ac.cn).

We look forward to your contributions.

With best regards,
The Organizing Committee