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)