Groupe de travail Pôle Preuves, programmes et systèmes Équipe thématique Preuves et programmes Gestion des séances La syntaxe rencontre la sémantique Jour, heure et lieu Le jeudi à 14h, salle 1007 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) Delia Kesner Subscribe to the list gdt-sms@listes.irif.fr to receive announcements concerning this working work.