Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil > L’Institut > Groupes Scientifiques > Arithmétique, Géométrie, Logique et Représentations (AGLR, ex-LUM)

Groupe Arithmétique, Géométrie, Logique et Représentations (AGLR, ex-LUM)

par Lozingot Eric - publié le , mis à jour le

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 Volker HEIERMANN
Suppléant Alexis BONNECAZE
É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 : volker.heiermann@univ-amu.fr
-