[TYPES/announce] Automating Mathematical Reasoning: Interactions Between Proof Assistants, Computer Algebra Systems and Generative AI, at ICMS 2026

[Mohammad Abdulaziz]

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.abdulaziz at kcl.ac.uk),

   - Wenda Li (University of Edinburgh, wenda.li at ed.ac.uk),

   - Cristopher Salvi (Imperial College London, c.salvi at imperial.ac.uk),

   - Zhengfeng Yang (East China Normal University, zfyang at sei.ecnu.edu.cn),

   - Jujian Zhang (Imperial College London, zhiyuan.zhang at imperial.ac.uk),

   - Lihong Zhi (Chinese Academy of Sciences, lzhi at mmrc.iss.ac.cn).

We look forward to your contributions.

With best regards,
The Organizing Committee
-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_signature.asc
Type: application/pgp-signature
Size: 665 bytes
Desc: OpenPGP digital signature
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260214/8ca0e180/attachment-0001.sig>