[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]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.htmlTo submit an abstract or to inquire further, please contact any of the session organizers:
- Mohammad Abdulaziz (King's College London, [email protected]),
- Wenda Li (University of Edinburgh, [email protected]), - Cristopher Salvi (Imperial College London, [email protected]), - Zhengfeng Yang (East China Normal University, [email protected]), - Jujian Zhang (Imperial College London, [email protected]), - Lihong Zhi (Chinese Academy of Sciences, [email protected]). We look forward to your contributions. With best regards, The Organizing Committee
OpenPGP_signature.asc
Description: OpenPGP digital signature
