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
code de conduite
SUPPORT
@ Contact
Actualité
2025-02-28 18:46:10
Résumés de cours
Des résumés de cours ont été ajoutés
2025-01-15 11:50:46
Liste des cours mise à jour
La liste des cours a été mise à jour et précisée!
2024-09-24 10:12:54
Ouverture du site
Le site de l'EPIT 2025 est ouvert. Plus d'informations à venir!
Flux RSS
|
Vie privée
|
Accessibilité
Chargement...