EPIT 2025 : École de Printemps
d'Informatique Théorique 2025
Le raisonnement (co)inductif & circulaire
appliqué à la programmation, la preuve
formelle et la vérification logicielle
19-23 mai 2025 Aussois (France)
FR
EN
Connexion
Mot de passe oublié ?
Créer un compte
Navigation
Accueil
Inscription
Programme
Description des cours
Actualité
Accès
Informations Pratiques
À propos de l'EPIT
SUPPORT
@ Contact
Programme
Semaine
Lun. 19
Mar. 20
Mer. 21
Jeu. 22
Ven. 23
Liste
Lun. 19
Mar. 20
Mer. 21
Jeu. 22
Ven. 23
08:00
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
Accueil
8:45 - 9:00 (15min)
Accueil
AS
Cours
9:00 - 10:30 (1h30)
Cours
Pause café
10:30 - 10:50 (20min)
Pause café
Cours
10:50 - 12:20 (1h30)
Cours
Déjeuner
12:20 - 14:00 (1h40)
Déjeuner
Cours
14:00 - 16:15 (2h15)
Cours
Pause café
16:15 - 16:45 (30min)
Pause café
Cours
16:45 - 18:15 (1h30)
Cours
Cours
8:50 - 10:30 (1h40)
Cours
Pause café
10:30 - 10:50 (20min)
Pause café
Cours
10:50 - 12:20 (1h30)
Cours
Déjeuner
12:20 - 14:00 (1h40)
Déjeuner
Cours
14:00 - 15:30 (1h30)
Cours
Pause café
15:30 - 16:00 (30min)
Pause café
Cours
16:00 - 18:00 (2h)
Cours
Cours
8:50 - 10:30 (1h40)
Cours
Pause café
10:30 - 10:55 (25min)
Pause café
Cours
10:55 - 12:30 (1h35)
Cours
Déjeuner
12:30 - 13:30 (1h)
Déjeuner
Excursion
13:30 - 18:00 (4h30)
Excursion
Cours
8:50 - 11:00 (2h10)
Cours
Pause café
11:00 - 11:20 (20min)
Pause café
Cours
11:20 - 12:20 (1h)
Cours
Déjeuner
12:20 - 14:00 (1h40)
Déjeuner
Cours
14:00 - 15:30 (1h30)
Cours
Pause café
15:30 - 16:00 (30min)
Pause café
Cours
16:00 - 18:30 (2h30)
Cours
Cours
8:50 - 10:50 (2h)
Cours
Pause café
10:50 - 11:20 (30min)
Pause café
Conclusion et Problèmes ouverts
11:20 - 12:20 (1h)
Conclusion et Problèmes ouverts
Déjeuner
12:20 - 14:00 (1h40)
Déjeuner
Discussions libres
14:00 - 17:00 (3h)
Discussions libres
Personnes connectées :
2
Flux RSS
|
Vie privée
|
Accessibilité
Chargement...