| AI × Mathematics 2026 |
23–27 February 2026, Edinburgh, UK |
Workshop on AI for genuine mathematical discovery: conjecture generation, auto-formalization, proof search, neuro-symbolic methods. |
| ISAIM 2026 |
7–9 January 2026, Fort Lauderdale, Florida, USA |
Symposium bridging AI, theoretical CS, and mathematics; topics include algorithmic and combinatorial math, AI-assisted conjecturing, and proof search. |
| CICM 2026 |
21–25 September 2026, Ljubljana, Slovenia |
Formal mathematics, proof assistants, computer-assisted mathematics, automated deduction, and math libraries. |
| FLoC 2026 |
July 2026, Lisbon, Portugal |
Umbrella conference for logic, type theory, proof theory, formal verification, automated reasoning; foundational for AI-driven formal mathematics. |
| TYPES 2026 |
4–8 May 2026, Göteborg, Sweden |
Type theory, proof-as-programs, constructive/formal mathematics; relevant for proof assistants and formalization with AI. |
| ICRAMCS 2026 |
7–10 April 2026, Będlewo, Poland |
Applied mathematics and computational methods; may include AI-assisted modeling and experimentation. |
| ICAMCM 2026 |
Early January 2026 |
Advanced mathematics and computational modeling; useful for analytic number theory, simulations, and AI-augmented math approaches. |
| ICM 2026 |
23–30 July 2026, Philadelphia, USA |
Largest global math conference; provides networking with leading mathematicians and exposure to mainstream math trends. |
| FPSAC 2026 |
13–17 July 2026 |
Specialized mathematics conference; opportunities for computational or AI-augmented approaches in combinatorics, algebra, and number theory. |