École de Printemps d'Informatique Théorique 2025
19-23 mai 2025
Centre CAES Paul Langevin - Aussois (France)
https://epit2025.sciencesconf.org
(Co)inductive & circular reasoning applied to programming, formal proofs and software verification
Discipline scientifique :
Informatique
Lieu de la conférence