Scientific Programme

Saturday, 31 March 2012
09:25–09:30 Opening
09:30–10:30 Keynote Talk: From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference.
Samson Abramsky and Jonathan Zvesper . (slides)
10:30–11:00 Break
11:00–11:30 From Transitions to Executions.
Eleftherios Matsikoudis and Edward Lee. (slides)
11:30–12:00 Trace Semantics via determinization.
Bart Jacobs, Alexandra Silva and Ana Sokolova.
12:00–12:30 Structural operational semantics for continuous state probabilistic processes.
Giorgio Bacci and Marino Miculan. (slides)
12:30–14:00 Lunch
14:00–14:30 Stream automata are coalgebras.
Vincenzo Ciancia and Yde Venema (slides)
14:30–15:30 On coalgebraic logic over posets.
Adriana Balan, Alexander Kurz and Jiri Velebil (slides)
Coalgebraic dynamic quantum logic.
Jort Bergfeld, Kohei Kishida and Sonja Smets (slides)
State-based simulation of linear course-of-value iteration.
Baltasar Trancón y Widemann (slides)
15:30–16:00 Break
16:00–17:30 Nondeterminism as a first class citizen for Hidden Logic.
Daniel Gebler and Jörg Endrullis (slides)
Final coalgebras in categories with factorization systems.
Giorgio Bacci (slides)
Weak bisimulations for coalgebras over ordered functors.
Tomasz Brengos (slides)
Reflexive economics and categorical, coalgebraic and domain theoretical modelling.
Viktor Winschel (slides)
20:00–… Workshop Dinner at MEKK Ateljee in Hotel Bern (Aia 10), just outside the Old Town (map)
Sunday, 1 April 2012
9:00–10:00 Invited talk: Defining context-free power series coalgebraically. 
Marcello Bonsangue, Jan Rutten and Joost Winter (slides)
10:00–10:30 On Finitary Functors and Their Presentations.
Jiri Adamek, Stefan Milius and Lawrence Moss.(slides) (slides ppsx)
10:30–11:00 Break
11:00–11:30 Tracing the Man in the Middle in Monoidal Categories.
Dusko Pavlovic
11:30–12:30 Lindenmayer systems, coalgebraically.
Baltasar Trancón y Widemann and Joost Winter (slides)
Distributive laws of directed containers.
Danel Ahman and Tarmo Uustalu
The ball monad and its metric trace semantics in Kleisli categories.
Bart Jacobs and Frank Roumen (slides)
12:30–14:00 Lunch
14:00–15:00 Invited talk: Relational Presheaves as Labelled Transition Systems.
Pawel Sobocinski. (slides)
15:00–15:30 Permutations in Coinductive Graph Representation.
Celia Picard and Ralph Matthes. (slides)
15:30–16:00 Break
16:00–16:30 Internal Models for Coalgebraic Modal Logics.
Toby Wilkinson. (slides)
16:30–17:00 An Alpha-Corecursion Principle for the Infinitary Lambda Calculus.
Alexander Kurz, Daniela Petrisan, Paula Severi and Fer-Jan de Vries.
17:00–17:30 Lax Extensions of Coalgebra Functors.
Johannes Marti and Yde Venema. (slides)