La bibliothèque de mathématiques formalisées de Lean vient de recevoir le prix Demailly 2026 pour la science ouverte en mathématiques. …
Actualités à la une
Notre collègue Anne Moreau a été nommée membre senior de l'Institut Universitaire de France.
Annonce de la nouvelle sur le …
Notre Collègue Jean-Benoît Bost a été élu membre de la section mathématique de l'Académie des sciences : https://www.academie-sciences.fr/communique-de-presse-dix-huit-nouveaux-membres-lacademie-des-sciences-pour-lannee-2026
Notre collègue Antoine Levitt est lauréat d'une bourse ERC Consolidator pour son projet TENUMEL (Theory and numerics for electronic structure). …
Notre collègue Amandine Aftalion a été nommée chevalier dans l'ordre national du Mérite.
Recherche
En savoir plusEnseignement
Mathématiques
pour tous
En savoir plus
Diffusion
En savoir plusPartenariats
entreprises
En savoir plus
Évènements à venir
mai 2026
Classicité et cohomologie complétée des variétés de Shimura
juin 2026
juin 2026
juin 2026
juin 2026
juin 2026
juin 2026
juin 2026
juin 2026
juin 2026
juin 2026
juin 2026
Algèbres vertex des opérateurs différentiels chiraux sur un groupe réductif et théorie des représentations.
juin 2026
juin 2026
juin 2026
juin 2026
juin 2026
Résultats de stabilité pour les équations de Born-Infeld, de Zakharov-Kuznetsov et d’Euler incompressible
juil. 2026
Statistiques arithmétiques et points rationnels sur les variétés algébriques