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.
Applications to participate in ItaLean 2025 are now open.
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.
Apply nowWe 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.
The detailed program is coming soon. Please check back for updates.
