#ItaLean2025 "Bridging Formal Mathematics and AI" in full swing! Very interesting talks on quite momentous topics (and such a jazzy atmosphere...)

pitmonticone.github.io/ItaLean2025/

Day 3 at #ItaLean2025 here in Bologna!

Great talks this morning and now the project work session is buzzing: so many new ideas everywhere and exciting collaborative projects taking shape.

What a fantastic atmosphere!

@lean-lang.org #FormalMath #AI4Math

ItaLean 2025

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

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

We’re pleased to announce #ItaLean2025: Bridging Formal Mathematics and AI, an international conference dedicated to @lean-lang.org, Formal Mathematics, and AI4Math.

📍 University of Bologna
🗓 9–12 December 2025

Proudly supported by #Harmonic.

#LeanLang #FormalMath #AI4Math