AccueilLa SMFNos conférencesLes sessionsProgramme Partager Programme Etats de la Recherche Lean for the curious mathematician Lean pour mathématiciens 25/03/24 au 29/03/24, CIRM, Marseille Measured and geometric group theory, rigidity, operator algebras 05/10/20 au 09/10/20, CIRM, Marseille