INdAM Meeting: LftCM 2026

Lean for the Curious Mathematician

Are you curious what the excitement around the proof assistant Lean is all about? Are you intrigued by recent successes in the formalization of deep mathematical theorems, and would like to understand more concretely what this formalization entails? Do you find yourself wondering how far your favorite area of mathematics is still away from being formalized, and what lies ahead?

Then the INdAM Meeting: Lean for the Curious Mathematician is for you! The Tutorial will offer an opportunity to gain hands-on experience with Lean under the guidance of expert tutors. A series of lectures will systematically introduce the software and the associated mathematical library, with plenty of time left in between for problem-solving and first small projects.

This meeting is organized in the setting of the "INdAM Meetings" promoted by the Istituto Nazionale di Alta Matematica and will be held in the historical "Palazzone di Cortona" (Cortona, AR, Italy) of the Scuola Normale Superiore.

Speakers

Research talks

Nirvana Coppola, Università degli Studi di Padova
Floris van Doorn, Universität Bonn
Judith Ludwig, Universität Heidelberg
Marco Pedicini, Università degli Studi Roma Tre

Tutorials

Fabrizio Barroero, Università degli Studi Roma Tre
Riccardo Brasca, Université Paris Cité
Filippo A. E. Nuccio Mortarino Majno di Capriglio, Université Jean Monnet Saint-Étienne
Amos Turchet, Università degli Studi Roma Tre
Francesco Veneziano, Università degli Studi di Genova

Scientific Committee

Riccardo Brasca, Université Paris Cité
Kevin Buzzard, Imperial College London
Marco Lenci, Alma Mater Studiorum - Università di Bologna
Filippo A. E. Nuccio Mortarino Majno di Capriglio, Université Jean Monnet Saint-Étienne

Organizing Committee

Fabrizio Barroero, Università degli Studi Roma Tre
Laura Capuano, Università degli Studi Roma Tre
Alessandro Iraci, Università Telematica Pegaso
Giovanni Paolini, Alma Mater Studiorum - Università di Bologna
Amos Turchet, Università degli Studi Roma Tre
Francesco Veneziano, Università degli Studi di Genova

Further Info

Cortona's Palazzone

The conference will take place at the historical villa "Palazzone di Cortona" of the Scuola Normale Superiore. Further historical info can be found here.

Directions

There are two train stations close to Cortona: Camucia (3 km) and Terontola (7 km), both offering bus and taxi connections to Cortona. By car, the closest A1 highway exit is Val di Chiana (20 km). After the exit one can follow the signs for "Il Palazzone".

Hotel

Hotels for all selected participants will be fully funded. We will provide precise details to the participants in due time.

Social Event

There will be a Social Dinner on Tuesday, further info will be available for the participants at a later stage.

Registration

Participation is restricted due to limited venue space and funding constraints. To be considered for an invitation, please register via the following REGISTRATION LINK. All selected participants will have lodging and meals covered. There might be limited funding available for travel reimboursement. Deadline for registration: April 15th.