Abstract is missing.
- A Coinductive Version of Milner's Proof System for Regular Expressions Modulo BisimilarityClemens Grabmayer. [doi]
- Coderelictions for Free Exponential ModalitiesJean-Simon Pacaud Lemay. [doi]
- Towards Engineering Smart Cyber-Physical Systems with Graph Transformation Systems (Invited Talk)Holger Giese. [doi]
- Pushdown Automata and Context-Free Grammars in Bisimulation SemanticsJos C. M. Baeten, Cesare Carissimo, Bas Luttik. [doi]
- Initial Algebras Without Iteration ((Co)algebraic pearls)Jirí Adámek, Stefan Milius, Lawrence S. Moss. [doi]
- Front Matter, Table of Contents, Preface, Conference Organization [doi]
- Preorder-Constrained Simulation for Nondeterministic Automata (Early Ideas)Koko Muroya, Takahiro Sanada, Natsuki Urabe. [doi]
- Functorial Semantics as a Unifying Perspective on Logic ProgrammingTao Gu, Fabio Zanasi. [doi]
- The Central Valuations Monad (Early Ideas)Xiaodong Jia, Michael W. Mislove, Vladimir Zamdzhiev. [doi]
- Closure HyperdoctrinesDavide Castelnovo, Marino Miculan. [doi]
- Which Categories Are Varieties? ((Co)algebraic pearls)Jirí Adámek, Jirí Rosický. [doi]
- Distributive Laws for Lawvere Theories (Invited Talk)Eugenia Cheng. [doi]
- The Open Algebraic Path ProblemJade Master. [doi]
- Quantitative Polynomial Functors (Early Ideas)Georgi Nakov, Fredrik Nordvall Forsberg. [doi]
- The Challenges of Weak Persistency (Invited Talk)Viktor Vafeiadis. [doi]
- Tensor of Quantitative Equational TheoriesGiorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin. [doi]
- On Doctrines and Cartesian BicategoriesFilippo Bonchi, Alessio Santamaria, Jens Seeber, Pawel Sobocinski 0001. [doi]
- Monads on Categories of Relational StructuresChase Ford, Stefan Milius, Lutz Schröder. [doi]
- Presenting Convex Sets of Probability Distributions by Convex Semilattices and Unique Bases ((Co)algebraic pearls)Filippo Bonchi, Ana Sokolova, Valeria Vignudelli. [doi]
- Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively ((Co)algebraic pearls)Ana Sokolova, Harald Woracek. [doi]
- Minimality Notions via Factorization Systems ((Co)algebraic pearls)Thorsten Wißmann. [doi]
- How to Write a Coequation ((Co)algebraic pearls)Fredrik Dahlqvist, Todd Schmid. [doi]
- Stream Processors and ComodelsRichard Garner. [doi]
- From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra ((Co)algebraic pearls)Filippo Bonchi, Alessandro Di Giorgio 0002, Fabio Zanasi. [doi]
- Dialectica Comonads (Invited Talk)Valeria de Paiva. [doi]