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
Login
Lost password ?
Create account
Main menu
Home
Registration
Planning
News
Venue
Practical information
About EPIT
HELP
@ Contact
News
2025-01-15
Updated list of lectures
The list of courses is now updated with more details!
2024-09-24
New website for EPIT 2025
EPIT 2025 is on! More news to come...
Online user:
2
RSS Feed
|
Privacy
Loading...