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 Free University of Amsterdam
Fabrizio BARROERO Roma 3 University
Aniket BASU ROY Aarhus University
Vincent BEFFARA CNRS Université Grenoble Alpes
Alexander BEST King's College London
Raphaël BEUZART-PLESSIS CNRS Aix-Marseille Université
Chris BIRKBECK University of East Anglia
Riccardo BRASCA Université Paris Cité
Inna CAPDEBOSCQ University of Warwick
Laura CAPUANO Roma 3 University
Antoine CHAMBERT-LOIR Université Paris Cité
Cyril COHEN Université Côte d'Azur
Johan COMMELIN Utrecht University
Nirvana COPPOLA Italy
Edgar COSTA MIT
María Inés DE FRUTOS-FERNÁNDEZ Autonomous University of Madrid
Anatole DEDECKER Université Paris-Saclay
Isabelle DUBOIS Université de Lorraine
Frédéric DUPUIS Université de Montréal
Jana GÖKEN University of Bremen
Vincent GUIRARDEL Université de Rennes
Sanyam GUPTA Sorbonne Université
Omar HADDAD Université Paris Cité
Harald HELFGOTT CNRS Sorbonne Université
Alessandro IRACI University of Pisa
Tomas JAKL Czech Technical University in Prague
Marie KERJEAN CNRS Université Sorbonne Paris Nord
Thomas LANARD CNRS Université de Versailles UVSQ
Samuel LELIÈVRE Université Paris-Saclay
Marco LENCI University of Bologna
Amelia LIVINGSTON King's College London
Jireh LOREAUX Southern Illinois University Edwardsville
David LOWRY-DUDA ICERM
Lorenzo LUCCIOLI University of Bologna
Assia MAHBOUBI INRIA Université de Nantes
Alba Marina MALAGA SABOGAL Université de Lorraine
Giacomo MALETTO University of Turin
Frédéric MARBACH CNRS ENS - PSL
Étienne MARION ENS Lyon
Benoît MARIOU Université Paris 8 Vincennes-Saint-Denis
Florestan MARTIN-BAILLON Université de Rennes
Luigi MASSACCI Ecole Polytechnique
Suraj Krishna MEDA SATISH Technion - Israel Institute of Technology
Pietro MONTICONE University of Trento
Oliver NASH Imperial College London
Filippo NUCCIO Université Jean Monnet
Matteo PALAZZO University of Turin
John PARDON Stony Brook University, New York
Ivan RASSKIN Aix-Marseille Université
Silvain RIDEAU-KIKUCHI CNRS ENS - PSL
Xavier ROBLOT Université Claude Bernard Lyon 1
Joaquin RODRIGUES JACINTO Aix-Marseille Université
Sandra ROZENSZTAJN ENS Lyon
Vincent SÉCHERRE Université de Versailles UVSQ
Alexis SAURIN CNRS Université Paris Cité
Florent SCHAFFHAUSER Heidelberg University
Jean-Baptiste STIEGLER Université Paris-Saclay
Artur SZAFARCZYK Université Paris Cité
Amos TURCHET Roma 3 University
Emilie UTHAIWAT Université Paris Cité
Floris VAN DOORN University of Bonn
Sam VAN GOOL Université Paris Cité
Francesco VENEZIANO University of Genova
Eduardo VENTURINI Pisa Higher Normal School/SNS
Vito VOLPE University of Turin
Peiran WU University of St Andrews
Alina YAN Charles University
Lorenzo ZANICHELLI Université Paris Cité