We’re pleased to announce #ItaLean2025: Bridging Formal Mathematics and AI, an international conference dedicated to @leanprover, Formal Mathematics, and AI4Math.
📍 University of Bologna
🗓 9–12 December 2025
#ItaLean2025 brings together researchers and practitioners advancing the formalization of mathematics in Lean and exploring the interplay between machine learning and formal methods.
The program includes lectures, tutorials, research talks, product demos, and a concluding panel.
Applications to participate are now open.
Participation is free of charge.
A limited amount of travel support may be available.
Priority deadline: 31 October 2025.
A preliminary schedule will be released in the coming weeks, with regular updates to follow.
Official website (applications, program, logistics): https://pitmonticone.github.io/ItaLean2025/
