Groupe de travail

Pôle Preuves, programmes et systèmes

Équipe thématique Preuves et programmes

Théorie des types et réalisabilité


Jour, heure et lieu

Le mercredi à 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)

Pour recevoir les annonces, s'abonner ici.