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
Actualité
Accès
Informations Pratiques
À propos de l'EPIT
SUPPORT
@ Contact
Programme
Semaine
Lun. 19
Mar. 20
Mer. 21
Jeu. 22
Ven. 23
Liste
lundi 19 mai 2025
Heures
événement
08:45
-
09:00
Accueil
-
AS
mardi 20 mai 2025
Heures
événement
mercredi 21 mai 2025
Heures
événement
jeudi 22 mai 2025
Heures
événement
vendredi 23 mai 2025
Heures
événement
Personnes connectées :
3
Flux RSS
|
Vie privée
Chargement...