Abstract is missing.
- A Category for Unifying Gaussian Probability and NondeterminismDario Stein, Richard Samuelson. [doi]
- Composition and Recursion for Causal StructuresHenning Basold, Tanjona Ralaivaosaona. [doi]
- Fractals from Regular BehavioursTodd Schmid, Victoria Noquez, Lawrence S. Moss. [doi]
- Completeness for Categories of Generalized Automata ((Co)algebraic pearls)Guido Boccali, Andrea Laretto, Fosco Loregiàn, Stefano Luneia. [doi]
- Front Matter, Table of Contents, Preface, Conference Organization [doi]
- Machine-Checked Computational Mathematics (Invited Talk)Assia Mahboubi. [doi]
- On Kripke, Vietoris and Hausdorff Polynomial Functors ((Co)algebraic pearls)Jirí Adámek, Stefan Milius, Lawrence S. Moss. [doi]
- Weakly Markov Categories and Weakly Affine MonadsTobias Fritz, Fabio Gadducci, Paolo Perrone, Davide Trotta. [doi]
- CRDTs, Coalgebraically (Early Ideas)Nathan Liittschwager, Stelios Tsampas 0001, Jonathan Castello, Lindsey Kuper. [doi]
- The Metatheory of Gradual Typing: State of the Art and Challenges (Invited Talk)Jeremy G. Siek. [doi]
- Forward and Backward Steps in a FibrationRuben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot. [doi]
- Aczel-Mendler Bisimulations in a Regular CategoryJérémy Dubut. [doi]
- A Tour on Ecumenical Systems (Invited Talk)Elane Pimentel, Luiz Carlos Pereira. [doi]
- String Diagram Rewriting Modulo Commutative (Co)Monoid StructureAleksandar Milosavljevic, Robin Piedeleu, Fabio Zanasi. [doi]
- Many-Valued Coalgebraic Logic: From Boolean Algebras to Primal VarietiesAlexander Kurz 0005, Wolfgang Poiger. [doi]
- Structural Operational Semantics for Heterogeneously Typed CoalgebrasHarald König, Uwe Wolter, Tim Kräuter. [doi]
- Integrating Cost and Behavior in Type Theory (Invited Talk)Robert Harper 0001. [doi]
- Amortized Analysis via Coinduction (Early Ideas)Harrison Grodin, Robert Harper 0001. [doi]
- Bisimilar States in Uncertain StructuresJurriaan Rot, Thorsten Wißmann. [doi]
- Strongly Finitary Monads for Varieties of Quantitative AlgebrasJirí Adámek, Matej Dostál, Jirí Velebil. [doi]
- Higher-Order Mathematical Operational Semantics (Early Ideas)Sergey Goncharov 0001, Stefan Milius, Lutz Schröder, Stelios Tsampas 0001, Henning Urbat. [doi]
- Generators and Bases for Monadic ClosuresStefan Zetzsche, Alexandra Silva 0001, Matteo Sammartino. [doi]
- Interpolation Is (Not Always) Easy to SpoilAndrzej Tarlecki. [doi]
- Coinductive Control of Inductive Data TypesPaige Randall North, Maximilien Péroux. [doi]
- Local Completeness for Program Correctness and Incorrectness (Invited Talk)Roberto Bruni. [doi]