Guillaume Brunerie - Théorie des types dépendants et axiome d'univalence

Alexandre HERLEA est membre de la section « Sciences, histoire des sciences et des techniques et archéologie industrielle » du CTHS. Professeur émérite des universités, membre effectif de l'Académie

Rédaction des Plans de Gestion de Données (PGD) sous l’angle des besoins de la communauté mathématique.

« Usage de matériel pédagogique adapté en géométrie : une transposition à interroger ». Alexandre Booms, doctorant (Université de Reims Champagne-Ardenne - Cérep UR 4692)

We present a new compactness theory of Ricci flows. This theory states that any sequence of Ricci flows that is pointed in an appropriate sense, subsequentially converges to a synthetic flow.

In this talk, I will discuss some recent developments on the topology of closed manifolds admitting Riemannian metrics of positive scalar curvature. In particular, we will prove if a closed PSC

We study the noncollapsed singularity formation of Einstein 4-manifolds. We prove that any smooth Einstein 4-manifold close to a singular one in a mere Gromov-Hausdorff (GH) sense is the result

Presentation of a joint work with G. Carron and I. Mondello where we study Kato limit spaces.

In this talk, we shall describe some topological rigidity and its relationship with positive scalar curvature. Precisely, we will present a proof that a complete contractible 3-manifold with

The goal of the talk is to present a recent work in collaboration with Cavalletti (SISSA) on optimal transport in Lorentzian synthetic spaces. The aim is to set up a “Lorentzian analog” of the

The study of positive scalar curvature on noncompact manifolds has seen significant progress in the last few years. A major role has been played by Gromov's results and conjectures, and in

Théorèmes récents de convergence plane intrinsèque

I will describe work in progress, parts of which are joint with Marcelo Alves. Let L be a knot or link in the 3-sphere. I will explain how one can count minimal surfaces in hyperbolic 4-space