Évènements
Rechercher un événement
12
Sep
Scientific collaboration with Marco Bertola (SISSA Trieste)
(...)
+ external member of Commitee PhD Ruzza
Realizability Workshop 2019 (Rencontre de Réalisabilité)
Workshop (CIRM, Luminy, Marseille)
In mathematical logic, realizability is a collection of methods in proof theory used to study constructive proofs and extract additional information from them. Realizability (wiki) [...]
19
Sep
Représentations de niveau 0 d’un groupe p-adique, endoscopie
Jean-Loup Waldspurger (IMJ-PRG, Paris)
Soit G un groupe réductif connexe défini sur un corps p-adique F. On suppose que la caractéristique résiduelle p de F est « grand » [...]
