Objet : Annonce des exposés du groupe de travail Théorie des Types et Réalisabilité (IRIF)

Vous avez demandé à vous désabonner de la liste gt.rea-tt.irif.

Pour confirmer cette demande, prière de cliquer sur le bouton ci-dessous :