Pietro Monticone
-
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/
-
Very glad to have attended the 2nd edition of the summer school in #GeometricAnalysis organized by the mathematics department of the University of Trento!
Here is the public GitHub repository where I’ve collected (almost) all the relevant resources https://github.com/pitmonticone/2023_UniTrento_SummerSchool_GeometricAnalysis.