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
Mon. 19
Tue. 20
Wed. 21
Thu. 22
Fri. 23
08:00
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
Welcome
8:45 - 9:00 (15min)
Welcome
AS
Course
9:00 - 10:30 (1h30)
Course
Coffee break
10:30 - 10:50 (20min)
Coffee break
Course
10:50 - 12:20 (1h30)
Course
Lunch
12:20 - 14:00 (1h40)
Lunch
Course
14:00 - 16:15 (2h15)
Course
Coffee break
16:15 - 16:45 (30min)
Coffee break
Course
16:45 - 18:15 (1h30)
Course
Course
8:50 - 10:30 (1h40)
Course
Coffee break
10:30 - 10:50 (20min)
Coffee break
Course
10:50 - 12:20 (1h30)
Course
Lunch
12:20 - 14:00 (1h40)
Lunch
Course
14:00 - 15:30 (1h30)
Course
Coffee break
15:30 - 16:00 (30min)
Coffee break
Course
16:00 - 18:00 (2h)
Course
Course
8:50 - 10:30 (1h40)
Course
Coffee break
10:30 - 10:55 (25min)
Coffee break
Course
10:55 - 12:30 (1h35)
Course
Lunch
12:30 - 13:30 (1h)
Lunch
Excursion
13:30 - 18:00 (4h30)
Excursion
Course
8:50 - 11:00 (2h10)
Course
Coffee break
11:00 - 11:20 (20min)
Coffee break
Course
11:20 - 12:20 (1h)
Course
Lunch
12:20 - 14:00 (1h40)
Lunch
Course
14:00 - 15:30 (1h30)
Course
Coffee break
15:30 - 16:00 (30min)
Coffee break
Course
16:00 - 18:30 (2h30)
Course
Course
8:50 - 10:50 (2h)
Course
Coffee break
10:50 - 11:20 (30min)
Coffee break
Conclusion and Open Problems
11:20 - 12:20 (1h)
Conclusion and Open Problems
Lunch
12:20 - 14:00 (1h40)
Lunch
Free Discussions
14:00 - 17:00 (3h)
Free Discussions
Online user:
3
RSS Feed
|
Privacy
|
Accessibility
Loading...