logo site
Institut de Mathématiques de Marseille, UMR 7373
Slogan du site
Descriptif du site
Groupe Arithmétique, Géométrie, Logique et Représentations (AGLR)
Article mis en ligne le 10 février 2014
dernière modification le 29 mars 2018

par Lozingot Eric

Le Groupe Arithmétique, Géométrie, Logique et Représentations est scindé en 3 équipes de recherche.

Descriptif
Nature Groupe Scientifique
Intitulé Arithmétique, Géométrie, Logique et Représentations (AGLR, ex-LUM)
Responsable Alexis BONNECAZE
Suppléant Stéphane BALLET
Équipes de rattachement Arithmétique et Théorie de l’Information (ATI)
Logique de la Programmation (LDP)
Représentations des Groupes Réductifs (RGR)
Séminaires Arithmétique et Théorie de l’Information (ATI)
Logique et Interactions
Représentations des Groupes Réductifs (RGR)
CHoCoLa : Curry-Howard, Calcul et Logique
Groupe de travail Math-Info pour la Théorie de l’Information (MITI)
Théorie effective des invariants (TEDI)
Listes de diffusion

Contact : alexis.bonnecaze@univ-amu.fr
-
Responsables précédents :
- 2014-2017 : Volker HEIERMANN (Suppléant : Alexis Bonnecaze)
-
-
-