Ancien groupe de travail Nothing. Équipe thématique Automates et applications Ancienne équipe Preuves, programmes et systèmes Gestion des séances Sémantique et vérification Jour, heure et lieu Le jeudi à 16h, salle 3052 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) Paul-André Melliès Olivier Serre http://research.grellois.fr/gdt.htm