LIPIcs, Volume 211, CALCO 2021

• Fabio Gadducci and Alexandra Silva LIPIcs, Volume 211, CALCO 2021, Complete Volume 10.4230/LIPIcs.CALCO.2021
• Fabio Gadducci and Alexandra Silva Front Matter, Table of Contents, Preface, Conference Organization 10.4230/LIPIcs.CALCO.2021.0
• Eugenia Cheng Distributive Laws for Lawvere Theories (Invited Talk) 10.4230/LIPIcs.CALCO.2021.1
• Holger Giese Towards Engineering Smart Cyber-Physical Systems with Graph Transformation Systems (Invited Talk) 10.4230/LIPIcs.CALCO.2021.2
• Valeria de Paiva Dialectica Comonads (Invited Talk) 10.4230/LIPIcs.CALCO.2021.3
• Viktor Vafeiadis The Challenges of Weak Persistency (Invited Talk) 10.4230/LIPIcs.CALCO.2021.4
• Jiří Adámek, Stefan Milius, and Lawrence S. Moss Initial Algebras Without Iteration ((Co)algebraic pearls) 10.4230/LIPIcs.CALCO.2021.5
• Jiří Adámek and Jiří Rosický Which Categories Are Varieties? ((Co)algebraic pearls) 10.4230/LIPIcs.CALCO.2021.6
• Giorgio Bacci, Radu Mardare, Prakash Panangaden, and Gordon Plotkin Tensor of Quantitative Equational Theories 10.4230/LIPIcs.CALCO.2021.7
• Jos C. M. Baeten, Cesare Carissimo, and Bas Luttik Pushdown Automata and Context-Free Grammars in Bisimulation Semantics 10.4230/LIPIcs.CALCO.2021.8
• Filippo Bonchi, Alessandro Di Giorgio, and Fabio Zanasi From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra ((Co)algebraic pearls) 10.4230/LIPIcs.CALCO.2021.9
• Filippo Bonchi, Alessio Santamaria, Jens Seeber, and Paweł Sobociński On Doctrines and Cartesian Bicategories 10.4230/LIPIcs.CALCO.2021.10
• Filippo Bonchi, Ana Sokolova, and Valeria Vignudelli Presenting Convex Sets of Probability Distributions by Convex Semilattices and Unique Bases ((Co)algebraic pearls) 10.4230/LIPIcs.CALCO.2021.11
• Davide Castelnovo and Marino Miculan Closure Hyperdoctrines 10.4230/LIPIcs.CALCO.2021.12
• Fredrik Dahlqvist and Todd Schmid How to Write a Coequation ((Co)algebraic pearls) 10.4230/LIPIcs.CALCO.2021.13
• Chase Ford, Stefan Milius, and Lutz Schröder Monads on Categories of Relational Structures 10.4230/LIPIcs.CALCO.2021.14
• Richard Garner Stream Processors and Comodels 10.4230/LIPIcs.CALCO.2021.15
• Clemens Grabmayer A Coinductive Version of Milner’s Proof System for Regular Expressions Modulo Bisimilarity 10.4230/LIPIcs.CALCO.2021.16
• Tao Gu and Fabio Zanasi Functorial Semantics as a Unifying Perspective on Logic Programming 10.4230/LIPIcs.CALCO.2021.17
• Xiaodong Jia, Michael Mislove, and Vladimir Zamdzhiev The Central Valuations Monad (Early Ideas) 10.4230/LIPIcs.CALCO.2021.18
• Jean-Simon Pacaud Lemay Coderelictions for Free Exponential Modalities 10.4230/LIPIcs.CALCO.2021.19
• Jade Master The Open Algebraic Path Problem 10.4230/LIPIcs.CALCO.2021.20
• Koko Muroya, Takahiro Sanada, and Natsuki Urabe Preorder-Constrained Simulation for Nondeterministic Automata (Early Ideas) 10.4230/LIPIcs.CALCO.2021.21
• Georgi Nakov and Fredrik Nordvall Forsberg Quantitative Polynomial Functors (Early Ideas) 10.4230/LIPIcs.CALCO.2021.22
• Ana Sokolova and Harald Woracek Nawrotzki’s Algorithm for the Countable Splitting Lemma, Constructively ((Co)algebraic pearls) 10.4230/LIPIcs.CALCO.2021.23
• Thorsten Wißmann Minimality Notions via Factorization Systems ((Co)algebraic pearls) 10.4230/LIPIcs.CALCO.2021.24