3 Février - 7 Février

IMD-2019-2020, IMD-2020-2021 Calendrier

«	‹	›	»	Lun 3 Fév	Mar 4 Fév	Mer 5 Fév	Jeu 6 Fév		Ven 7 Fév

08:00



09:00						09:00 SMACUB8L- Sémantique Dénotationnelle et logique linéaire	09:00 SMACUD7L- Intro aux syst. dynamiques, à la théorie ergodique	09:00 SMACUB8L- Sémantique Dénotationnelle et logique linéaire	09:00 SMACUB1L- Vérification (salle BU2 du LIS)



10:00				10:00 SMACUA5L - Introduction à la logique modale SITE ST CHARLES (3ème ét. FRUMAM)	10:00 SMACUA6L - Modèles de calcul naturel- MOCANA



11:00



12:00



13:00



14:00				14:00 SMACUB1L- Vérification (salle CH301 St CHARLES)	14:00 SMACUD3L- Réalisabilité classique	14:00 SMACUD3L- Réalisabilité classique	14:00 Séminaire Tutoré		14:00 SMACUD1L- Topologie algébrique discrètes / Topo algorithmique



15:00



16:00



17:00



18:00



19:00

${L_PREV}$	Ven 7 Fév	${L_NEXT}$
Légende: IMD-2019-2020 IMD-2020-2021 Version imprimable

Voir

Rechercher:

Choix multiple:

Produit avec PHP iCalendar 2.24