| 10.00 - 11.00 |
Stefan Millius
CIA structures and the semantics of recursion
|
| 11.00 - 11.20 |
Coffee break
|
| 11.20 - 11.50 |
Alexandra Silva
Algebraic Enriched Coalgebras
|
| 11.50 - 12.20 |
Vincenzo Ciancia
Automata and languages with names and binders
|
| 12.20 - 13.30 |
Lunch
|
|
| 13.30 - 14.00 |
Christian Kissig
Infinite Traces through Coalgebras
|
| 14.05 - 14.35 |
Jan Rutten
Dijkstra's Continued Concatenations Revisited
|
| 14.40 - 15.00 |
Minghui Ma
Definability in Coalgebraic Graded Modal Logic
|
| 15.00 - 15.20 |
Coffee break
|
| 15.20 - 15.50 |
Jacob Vosmaer
Geometric coalgebraic modal logic and formal topology
|
| 16.00 - 17.00 |
Jiri Adamek
On relative final coalgebras
|
| 17.15 |
Drinks
|
| 19.30 |
Dinner
|