Équipe thématique Automates et applications
Ancienne équipe Preuves, programmes et systèmes
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.