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
Course Abstracts
News
Venue
Practical information
About EPIT
HELP
@ Contact
Planning
Week
Mon. 19
Tue. 20
Wed. 21
Thu. 22
Fri. 23
List
‹
Friday, May 23, 2025
08:00
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
›8:50 (2h)
Course
8:50 - 10:50 (2h)
Course
›10:50 (30min)
Coffee break
10:50 - 11:20 (30min)
Coffee break
›11:20 (1h)
Conclusion and Open Problems
11:20 - 12:20 (1h)
Conclusion and Open Problems
›12:20 (1h40)
Lunch
12:20 - 14:00 (1h40)
Lunch
›14:00 (3h)
Free Discussions
14:00 - 17:00 (3h)
Free Discussions
Session
Speech
Logistics
Break
Tour
Online user:
3
RSS Feed
|
Privacy
|
Accessibility
Loading...