École de Printemps d'Informatique Théorique 2025 - Sciencesconf.org

EPIT 2025 : École de Printemps
d'Informatique Théorique 2025

(Co)inductive & circular reasoning
applied to programming, formal
proofs and software verification

19-23 May 2025 Aussois (France)

FR EN

Online user: 3

RSS Feed | Privacy

Loading...