ItaLean 2025 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 invited lectures, hands-on tutorials, research talks from academia and industry, product demos, and a closing panel discussion.
Click a talk to read the title and abstract. Times shown below are in Central European Time.
Fondazione Lercaro
Via Riva di Reno 55
All talks and sessions
Dept. of Mathematics
Piazza di Porta San Donato 5
Wednesday afternoon
Ristorante Gurmé
Via Zaccherini Alvisi 16
Wednesday evening
Applications to participate in ItaLean 2025 are now open. The application deadline is Friday, November 28.
Participation is free of charge and includes access to all conference sessions. A limited amount of financial support for accommodation may be available. Applicants may indicate their need for support in the application form.
Applicants are encouraged to include a CV with their submission.
We have been made aware that some participants have received fraudulent emails about hotel reservations for ItaLean 2025.
These emails are not from the conference organizers and appear to be phishing attempts to collect personal information and payment details.
