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
Personnes connectées :
1
Flux RSS
|
Vie privée
Chargement...
Chargement... 
