Groupe de travail Pôle Preuves, programmes et systèmes Équipe thématique Algèbre et calcul Équipe thématique Preuves et programmes Gestion des séances La théorie des types et la théorie de l'homotopie Jour, heure et lieu Le vendredi à 15h30, 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) Sylvain Douteau Prochaine séance La théorie des types et la théorie de l'homotopie Vendredi 8 décembre 2023, 15 heures 30, Salle 3052 Moana Jubert Prérequis homotopiques de la théorie des types homotopiques