| 2009 | Circular Coinduction: A Proof Theoretical Foundation. | Grigore Rosu, Dorel Lucanu |
| 2009 | Weak Bisimilarity Coalgebraically. | Andrei Popescu |
| 2009 | Adequacy for Infinitary Algebraic Effects (Abstract). | Gordon D. Plotkin |
| 2009 | A Semantical Approach to Equilibria and Rationality. | Dusko Pavlovic |
| 2009 | Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. | Fernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig |
| 2009 | A Duality Theorem for Real | M. Andrew Moshier, Daniela Petrisan |
| 2009 | Complete Iterativity for Algebras with Effects. | Stefan Milius, Thorsten Palm, Daniel Schwencke |
| 2009 | Let's See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract). | Conor McBride |
| 2009 | CIRC: A Behavioral Verification Tool Based on Circular Coinduction. | Dorel Lucanu, Eugen-Ioan Goriac, Georgiana Caltais, Grigore Rosu |
| 2009 | Characterising Behavioural Equivalence: Three Sides of One Coin. | Clemens Kupke, Raul Andres Leal |
| 2009 | Complementation of Coalgebra Automata. | Christian Kissig, Yde Venema |
| 2009 | Traces, Executions and Schedulers, Coalgebraically. | Bart Jacobs, Ana Sokolova |
| 2009 | Conway Games, Coalgebraically. | Furio Honsell, Marina Lenisa |
| 2009 | Constraint-Muse: A Soft-Constraint Based System for Music Therapy. | Matthias M. Hlzl, Grit Denker, Max Meier, Martin Wirsing |
| 2009 | Van Kampen Colimits as Bicolimits in Span. | Tobias Heindel, Pawel Sobocinski |
| 2009 | Coalgebraic Components in a Many-Sorted Microcosm. | Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova |
| 2009 | Kleene Monads: Handling Iteration in a Framework of Generic Effects. | Sergey Goncharov, Lutz Schrder, Till Mossakowski |
| 2009 | Stone Duality and the Recognisable Languages over an Algebra. | Mai Gehrke |
| 2009 | Constructor-Based Institutions. | Daniel Gin, Kokichi Futatsugi, Kazuhiro Ogata |
| 2009 | Non-strongly Stable Orders Also Define Interesting Simulation Relations. | Ignacio Fbregas, David de Frutos-Escrig, Miguel Palomino |
| 2009 | Approximating Labelled Markov Processes Again! | Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin |
| 2009 | Distributive Lattice-Structured Ontologies. | Hans Bruun, Dion Coumans, Mai Gehrke |
| 2009 | Coalgebraic Symbolic Semantics. | Filippo Bonchi, Ugo Montanari |
| 2009 | Free Heyting Algebras: Revisited. | Nick Bezhanishvili, Mai Gehrke |
| 2009 | The Priced-Timed Maude Tool. | Leon Bendiksen, Peter Csaba lveczky |