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
Planning
Week
Mon. 19
Tue. 20
Wed. 21
Thu. 22
Fri. 23
List
‹
Wednesday, May 21, 2025
›
08:00
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
Session
Speech
Logistics
Break
Tour
Online user:
2
RSS Feed
|
Privacy
Loading...