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

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

 
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)

 

Anciens séminaires:

Anciens séminaires Groupe Arithmétique, Géométrie, Logique et Représentations

-A

Commencez à saisir votre recherche ci-dessus et pressez Entrée pour rechercher. ESC pour annuler.

Secured By miniOrange
Aller à la barre d’outils