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

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	Accueil 8:45 - 9:00 (15min) Accueil AS

Personnes connectées : 2

Flux RSS | Vie privée

Chargement...