Équipe thématique Algèbre et calcul
Équipe-projet Inria Picube (Inria)
Équipe thématique Preuves et programmes
Le mardi à 15h, salle 3071
Le calendrier des séances (format iCal).
Pour ajouter le calendrier des séances à votre agenda favori, souscrire au calendrier en indiquant ce lien.
Pour s'inscrire à la liste de diffusion du gt sémantique : https://listes.u-paris.fr/wws/info/gt.semantique.irif