Évènements
Rechercher un événement
06
Nov
A small step towards an Open Source Logic, Investigating models of computation for Linear Realisability
Valentin Maestracci (I2M)
Jury Paul-André MELLIES -- Rapporteur Directeur de Recherche Université Paris-Cité/CNRS Shin-Ya KATSUMATA -- Rapporteur Full time Professor Kyoto Sangyo University Samuel MIMRAM -- Président du [...]
06
Nov
Groupes de réflexion et adhérence de Zariski
Jacques Audibert (MPIM Leipzig)
Dans cet exposé, on s'intéressera aux groupes de réflexions, c'est-à-dire aux sous-groupes discrets du groupe général linéaire engendrés par des réflexions le long d'hyperplans. Les [...]
