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