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
code of conduct
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
19:00
20:00
21:00
22:00
23:00
›8:50 (1h40)
Software Verification via Fixed-Point Logics: Constraint Solving, Cyclic-Proof Search, and Strategy Synthesis
Hiroshi Unno
8:50 - 10:30 (1h40)
Software Verification via Fixed-Point Logics: Constraint Solving, Cyclic-Proof Search, and Strategy Synthesis
Hiroshi Unno
›10:30 (20min)
Coffee break
10:30 - 10:50 (20min)
Coffee break
›10:50 (1h30)
Higher-order languages, Categories and Automata
Paul-André Mellies & Daniela Petrisan
10:50 - 12:20 (1h30)
Higher-order languages, Categories and Automata
Paul-André Mellies & Daniela Petrisan
›12:20 (1h10)
Lunch
12:20 - 13:30 (1h10)
Lunch
›13:30 (4h30)
Free afternoon
13:30 - 18:00 (4h30)
Free afternoon
Organized hike or free afternoon
›19:30 (1h30)
Banquet
19:30 - 21:00 (1h30)
Banquet
›21:00 (2h)
Cocktail
21:00 - 23:00 (2h)
Cocktail
Session
Speech
Logistics
Break
Tour
RSS Feed
|
Privacy
|
Accessibility
Loading...