Évènements
Rechercher un événement
10
Jan
Constant Scalar Curvature Metrics in Kähler and Sasaki Geometry
Conference (CIRM, Luminy, Marseille)
COLLOQUE "Métriques à courbure scalaire constante en géométrie Kählérienne et Sasakienne" - The Yau-Tian-Donaldson conjecture restricted to a particular case has been proved in 2012: [...]
18
Jan
18
Jan
Préservation de propriétés du modèle de départ en réalisabilité classique
Hadrien Batmalle (IRIF, Université de Paris)
La réalisabilité classique permet d'interpréter des théories mathématiques classiques, comme la théorie des ensembles ZF, dans divers modèles de calcul (lambda-calcul avec continuations, domaines…axiomatisés au [...]
