Planning

Tuesday, May 20, 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
›8:50 (1h40)
Basics of category theory, algebras and coalgebras
Farzad Jafarrahmani & Daniela Petrisan
›10:30 (20min)
Coffee break
›10:50 (1h30)
The μ-calculus and its proof-theory
Bahareh Ashari
›12:20 (1h40)
Lunch
›14:00 (1h)
Automata on infinite structures
Karoliina Lehtinen
›15:00 (1h15)
Bisimulation and coinductive types in the Rocq proof assistant
Damien Pous & Yannick Zakowski
›16:15 (30min)
Coffee break
›16:45 (1h15)
Higher-order languages, Categories and Automata
Paul-André Melliès & Daniela Petrisan
›19:30 (1h15)
Dinner
Session
Speech
Logistics
Break
Tour
Loading... Loading...