CICM 2025 Overview

CICM (Conferences on Intelligent Computer Mathematics) is the premier venue for:

• Automated theorem proving
• Mathematical knowledge management
• Formal verification
• Digital mathematical libraries

Tracks

Calculemus: Symbolic computation and reasoning

• Integration of SMT solvers with proof assistants
• Certified symbolic computation
• Automated reasoning in education

Digital Mathematical Libraries

• MathML and mathematical markup
• Search in mathematical corpora
• Formalization of mathematical archives

Mathematical Knowledge Management

• Ontologies for mathematics
• Collaborative formalization
• Version control for proofs

Formal Methods

• Verification of AI systems
• Formalized mathematics
• Proof engineering

Keynotes

• “The Future of Formal Mathematics” - Kevin Buzzard
• “AI-Assisted Proof Engineering” - Leonardo de Moura

Importance

CICM is the most focused venue for AI4Math research bridging formal methods and AI.