A preliminary schedule will be released in the coming weeks, with regular updates to follow.

Official website (applications, program, logistics): pitmonticone.github.io/ItaLean2025/

#ItaLean2025 #Lean #AI4Math

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.

We expect to welcome around 150 participants, including leading researchers, students, and industry practitioners, for 4 days of talks, collaboration, and exchange at the historic University of Bologna 🇮🇹.

#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.

Thanks :)