Menu (ouvrir/fermer)

Salles de réunion - Toutes les ressources
Du lundi 11 sep au dimanche 17 sep

lundi 11 sep mardi 12 sep mercredi 13 sep jeudi 14 sep vendredi 15 sep samedi 16 sep dimanche 17 sep
Salle 3052
11:00 à 12:00
_
Réunion BD3

10:00 à 13:00
_
groupe de lecture -- The simplicial model of univalent foundations
14:00 à 17:00
_
Répétition ITP
09:30 à 13:30
_
Soutenances de Master LMFI
Salle 4033
12:30 à 14:00
_
Réunion locaux
13:00 à 15:00
_
Consistency Criteria Meeting
Kick-Start meeting for the Consistency Criteria weekly discussions.
^ Haut de la page