Séminaire Pôle Automates, structures et vérification Équipe thématique Modélisation et vérification Gestion des séances Vérification Jour, heure et lieu Le lundi à 11h00, 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) Wael-Amine Boutglay Mohammed Foughali