INSTITUT DE MATHÉMATIQUES DE MARSEILLEAccueil L’Institut de Mathématiques de Marseille (I2M, UMR 7373) est une Unité Mixte de Recherche placée sous la triple tutelle du CNRS, d’Aix-Marseille Université et de l’École Centrale de Marseille. → En savoir plus. Aujourd'huivendredi 23 février 2024 Yenni Cherik GdT Comptage asymptotique des surfaces minimales dans les 3-variétés hyperboliques 14:00 - 16:00 Le flot géodésique d\'une surface à
http://logic.cs.tsukuba.ac.jp/ppl2016/slides/ppltut.pdf
https://xavierleroy.org/publi/validated-parser.pdf
