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
Conference registration
The registration is not yet open
Open from 2025-01-31 to 2025-03-31
Online user:
2
RSS Feed
|
Privacy
Loading...