Lean for the curious mathematician
25-29 March, 2024

Lean pour mathématiciens
25-29 Mars, 2024

Ramla ABDELLATIF Université de Picardie Jules Verne
Bill ALLOMBERT CNRS/Université de Bordeaux
David Kurniadi ANGDINATA University College London
Anne BAANEN Vrije Universiteit Amsterdam
Fabrizio BARROERO Università degli studi Roma 3
Vincent BEFFARACNRS Université Grenoble-Alpes
Alexander BEST King's College London
Raphaël BEUZART-PLESSISCNRS CNRS Aix-Marseille Université
Chris BIRKBECK University of East Anglia
Riccardo BRASCA Université Paris Cité
Oliver BUTTERLEY University of Rome Tor Vergata
Robin CARLIER École Normale Supérieure de Lyon
Fatma Ayca CETINKAYA Mersin University
Antoine CHAMBERT-LOIR Université Paris Cité
Cyril COHEN Université Côte d'Azur, Inria
Johan COMMELIN Utrecht University
Nirvana COPPOLA N/A
Edgar COSTA Massachusetts Institute of Technology
María Inés DE FRUTOS-FERNÁNDEZ Autonomous University of Madrid
Anatole DEDECKER Université Paris Saclay
Guillaume DUBACH École Polytechnique
Isabelle DUBOIS Université de Lorraine
Frédéric DUPUIS Université de Montréal
Vincent GUIRARDEL Université Rennes 1
Sanyam GUPTA Sorbonne University
Mathilde HERBLOT Université Paris Cité
Alessandro IRACI Università di Pisa
Tomas JAKL Czech Academy of Sciences & Czech Technical University
Marc KEGEL Humboldt-Universität zu Berlin
Marie KERJEAN LIPN, CNRS, Université Sorbonne Paris Nord
Thomas LANARDCNRS CNRS, Université de Versailles Saint-Quentin
Samuel LELIÈVRE Université Paris-Saclay
Marco LENCI University of Bologna
Amelia LIVINGSTON King's College London
Davide LOMBARDO University of Pisa
Jireh LOREAUX Southern Illinois University Edwardsville
Assia MAHBOUBI INRIA
Alba-Marina MALAGA SABOGAL Université de Lorraine
Giacomo MALETTO Università di Torino
Benoît MARIOU Université Paris 8
Florestan MARTIN-BAILLON Université Rennes
Suraj Krishna MEDA SATISH Technion Israel institute of technology
Maé MIACHON LEMEULLE Université de Versailles Saint Quentin
Oliver NASH Imperial College, London
Filippo NUCCIO Université Jean Monnet
Mike OGIUGO Yaba College of Technology\University of Ibadan
Matteo PALAZZO University of Turin
John PARDON Stony Brook University
Ivan RASSKIN Université d'Aix-Marseille
Silvain RIDEAU-KIKUCHICNRS Ecole normale supérieure
Xavier ROBLOT Université Lyon 1
Sandra ROZENSZTAJN ENS de Lyon
Leonid RYVKIN Institut Camille Jordan, Université Claude-Bernard Lyon 1
Vincent SÉCHERRE Université de Versailles Saint-Quentin
Alexis SAURINCNRS IRIF, CNRS, Université Paris Cité & INRIA
Pu Justin SCARFY YANG University of British Columbia
Florent SCHAFFHAUSER Universität Heidelberg
Jean-Baptiste STIEGLER Laboratoire de Mathématiques d'Orsay
Artur SZAFARCZYK Université Paris-cite
Amos TURCHET Università Roma Tre
Emilie UTHAIWAT Universite Paris Cite
Floris VAN DOORN University of Bonn
Sam VAN GOOL Université Paris Cité
Francesco VENEZIANO Università di Genova
Vito VOLPE Università degli Studi di Torino
Alina YAN Charles University