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:45 (15min)
8:45 - 9:00 (15min)
Welcome
Denis Kuperberg, Guilhem Jaber, Luigi Santocanale & Alexis Saurin
›9:00 (1h30)
9:00 - 10:30 (1h30)
Back to basics
D Kuperberg, L Santocanale, A Saurin
›10:30 (20min)
10:30 - 10:50 (20min)
Coffee break
›10:50 (1h30)
10:50 - 12:20 (1h30)
Basics of category theory, algebras and coalgebras
F Jafarrahmani & D Petrisan
›12:20 (1h40)
12:20 - 14:00 (1h40)
Lunch
›14:00 (1h15)
14:00 - 15:15 (1h15)
The μ-calculus and its proof-theory
Bahareh Afshari
›15:15 (1h)
15:15 - 16:15 (1h)
Automata on infinite structures
Karoliina Lehtinen
›16:15 (30min)
16:15 - 16:45 (30min)
Coffee break
›16:45 (1h30)
16:45 - 18:15 (1h30)
Bisimulation and coinductive types in the Rocq proof assistant
Damien Pous & Yannick Zakowski
›19:30 (1h15)
19:30 - 20:45 (1h15)
Dinner
