Groupe de travail Pôle Preuves, programmes et systèmes Équipe thématique Algèbre et calcul Équipe-projet Inria Picube (Inria) Équipe thématique Preuves et programmes Gestion des séances Sémantique Jour, heure et lieu 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. Contact(s) Guillaume Geoffroy Jeremy Ledent Paul-André Melliès Pour s'inscrire à la liste de diffusion du gt sémantique : https://listes.u-paris.fr/wws/info/gt.semantique.irif