Scientific Programme
Here is the program: pdf.
Saturday, 5 April 2014 | ||
09:15–09:30 | Opening | |
09:30–10:30 | Keynote Talk: Equations, contractions, and unique solutions. Davide Sangiorgi. |
|
10:30–11:00 | Break | |
11:00–11:30 | A coalgebraic view of characteristic formulas in equational modal fixed point logic. Sebastian Enqvist and Joshua Sack. |
|
11:30–12:00 | Coalgebraic simulations and congruences. H. Peter Gumm and Mehdi Zarrad. |
|
12:00–12:30 | Categories of coalgebras with monadic homomorphisms. Wolfram Kahl |
|
12:30–14:00 | Lunch | |
Special session on game theory and coalgebras | ||
14:10–15:00 | The algebraic and coalgebraic sides of game semantics. Paul Andre Mellies. |
|
15:00–16:00 | Invited Talk: Coalgebraic games. (slides) Marina Lenisa. |
|
16:00–16:30 | Break | |
16:30–17:20 | Coinduction, equilibrium and escalation, or the rationality of madness. Pierre Lescanne. |
|
17:20–18:00 | A note on typed behavioural differential equations. (pdf) Henning Basold, Helle Hvid Hansen and Jan Rutten. Foundations of total functional data-flow programming, coinductively. (pdf) (slides) Baltasar Trancón Y Widemann and Markus Lepper. |
|
Sunday, 6 April 2014 | ||
9:00–10:00 | Invited talk: Towards coalgebraic model checking. (slides) Ichiro Hasuo. |
|
10:00–10:30 | Dijkstra monads in monadic computation. (slides) Bart Jacobs. |
|
10:30–11:00 | Break | |
11:00–11:30 | Algebraic-coalgebraic recursion theory of history-dependent dynamical system models. (slides) Baltasar Trancón Y Widemann and Michael Hauhs |
|
11:30–12:30 | Coinduction up-to in a fibrational setting. Filippo Bonchi, Daniela Petrisan, Damien Pous and Jurriaan Rot An exercise on streams: convergence acceleration (an abstract). (pdf) Pierre Lescanne Towards a coalgebraic Chomsky hierarchy. (pdf) (slides) Sergey Goncharov, Stefan Milius and Alexandra Silva. |
|
12:30–14:00 | Lunch | |
14:00–14:30 | Canonical nondeterministic automata. Robert Myers, Jiri Adámek, Stefan Milius and Henning Urbat |
|
14:30–15:00 | Lifting adjunctions to coalgebras to (re)discover automata constructions. (slides) Henning Kerstan, Barbara König and Bram Westerbaan |
|
15:00–15:30 | On coalgebras with internal moves. (slides) Tomasz Brengos. |
|
15:30–16:00 | How to kill epsilons with a dagger - a coalgebraic take on systems with algebraic label structure. (slides) Filippo Bonchi, Stefan Milius, Alexandra Silva and Fabio Zanasi. |
|
16:00–16:30 | Break | |
16:30–17:00 | Towards systematic construction of temporal logics for dynamical systems via coalgebra. (slides) Baltasar Trancón Y Widemann. |
|
17:00–18:00 | A modular approach to linear-time logics. (pdf) Corina Cirstea. Coinitial semantics for redecoration of triangular matrices. (pdf) (slides) Benedikt Ahrens and Régis Spadotti. A coalgebraic approach to bidirectional transformations. (pdf) (slides) Faris Abou-Saleh and James McKinna. |
|
19:30–… | Workshop dinner (joint with ETAPS) |