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
Monday, May 19, 2025
›
08:00
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
›8:45 (15min)
Welcome
AS
8:45 - 9:00 (15min)
Welcome
AS
›9:00 (1h30)
Course
9:00 - 10:30 (1h30)
Course
›10:30 (20min)
Coffee break
10:30 - 10:50 (20min)
Coffee break
›10:50 (1h30)
Course
10:50 - 12:20 (1h30)
Course
›12:20 (1h40)
Lunch
12:20 - 14:00 (1h40)
Lunch
›14:00 (2h15)
Course
14:00 - 16:15 (2h15)
Course
›16:15 (30min)
Coffee break
16:15 - 16:45 (30min)
Coffee break
›16:45 (1h30)
Course
16:45 - 18:15 (1h30)
Course
Session
Speech
Logistics
Break
Tour
Online user:
1
RSS Feed
|
Privacy
|
Accessibility
Loading...