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

Planning

Week Mon. 19 Tue. 20 Wed. 21 Thu. 22 Fri. 23 List

	Mon. 19	Tue. 20	Wed. 21	Thu. 22	Fri. 23
08:00 09:00	Welcome 8:45 - 9:00 (15min) Welcome AS

Online user: 1

RSS Feed | Privacy

Loading...