Évènements
Rechercher un événement
24
Mar
Proof nets, rings, and ideals
William Troiani (LIPN, Université Sorbonne Paris Nord)
What is cut elimination? When Gentzen wrote down the rewriting processes associated with his logical systems, what seemingly external mathematical structure was he also encapsulating? [...]
Modèles plans et lisses pour les courbes modulaires
Samuele ANNI (I2M, Aix-Marseille Université)
Dans cet exposé on prouvera qu'il existe un nombre fini de courbes modulaires qui admettent un modèle plan lisse. De plus, si le degré du [...]
Représentations quantiques et homologiques des groupes modulaires des surfaces
Marco DE RENZI (University of Zurich)
D’une part, l’approche « quantique » de la topologie fournit des familles d’invariants hautement organisés, dont la définition est très flexible et générale. D’autre part, [...]
