CALCO 2021 August 31 to September 3, 2021, Salzburg, Austria

9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)



Fabio Gadducci and Alexandra Silva (Eds.)
ISBN 978-3-95977-212-9, LIPICS Vol. 211 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 7 MB)
Search Publication Server


Authors
  • Adámek, Jiří
  • Bacci, Giorgio
  • Baeten, Jos C. M.
  • Bonchi, Filippo
  • Carissimo, Cesare
  • Castelnovo, Davide
  • Cheng, Eugenia
  • Dahlqvist, Fredrik
  • de Paiva, Valeria
  • Di Giorgio, Alessandro
  • Ford, Chase
  • Gadducci, Fabio
  • Garner, Richard
  • Giese, Holger
  • Grabmayer, Clemens
  • Gu, Tao
  • Jia, Xiaodong
  • Lemay, Jean-Simon Pacaud
  • Luttik, Bas
  • Mardare, Radu
  • Master, Jade
  • Miculan, Marino
  • Milius, Stefan
  • Mislove, Michael
  • Moss, Lawrence S.
  • Muroya, Koko
  • Nakov, Georgi
  • Nordvall Forsberg, Fredrik
  • Panangaden, Prakash
  • Plotkin, Gordon
  • Rosický, Jiří
  • Sanada, Takahiro
  • Santamaria, Alessio
  • Schmid, Todd
  • Schröder, Lutz
  • Seeber, Jens
  • Silva, Alexandra
  • Sobociński, Paweł
  • Sokolova, Ana
  • Urabe, Natsuki
  • Vafeiadis, Viktor
  • Vignudelli, Valeria
  • Wißmann, Thorsten
  • Woracek, Harald
  • Zamdzhiev, Vladimir
  • Zanasi, Fabio

  •   
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Gadducci, Fabio ; Silva, Alexandra

    Abstract | Document (445 KB) | BibTeX

    Distributive Laws for Lawvere Theories (Invited Talk)
    Authors: Cheng, Eugenia

    Abstract | Document (291 KB) | BibTeX

    Towards Engineering Smart Cyber-Physical Systems with Graph Transformation Systems (Invited Talk)
    Authors: Giese, Holger

    Abstract | Document (243 KB) | BibTeX

    Dialectica Comonads (Invited Talk)
    Authors: de Paiva, Valeria

    Abstract | Document (675 KB) | BibTeX

    The Challenges of Weak Persistency (Invited Talk)
    Authors: Vafeiadis, Viktor

    Abstract | Document (368 KB) | BibTeX

    Initial Algebras Without Iteration ((Co)algebraic pearls)
    Authors: Adámek, Jiří ; Milius, Stefan ; Moss, Lawrence S.

    Abstract | Document (740 KB) | BibTeX

    Which Categories Are Varieties? ((Co)algebraic pearls)
    Authors: Adámek, Jiří ; Rosický, Jiří

    Abstract | Document (625 KB) | BibTeX

    Tensor of Quantitative Equational Theories
    Authors: Bacci, Giorgio ; Mardare, Radu ; Panangaden, Prakash ; Plotkin, Gordon

    Abstract | Document (818 KB) | BibTeX

    Pushdown Automata and Context-Free Grammars in Bisimulation Semantics
    Authors: Baeten, Jos C. M. ; Carissimo, Cesare ; Luttik, Bas

    Abstract | Document (711 KB) | BibTeX

    From Farkas' Lemma to Linear Programming: an Exercise in Diagrammatic Algebra ((Co)algebraic pearls)
    Authors: Bonchi, Filippo ; Di Giorgio, Alessandro ; Zanasi, Fabio

    Abstract | Document (903 KB) | BibTeX

    On Doctrines and Cartesian Bicategories
    Authors: Bonchi, Filippo ; Santamaria, Alessio ; Seeber, Jens ; Sobociński, Paweł

    Abstract | Document (852 KB) | BibTeX

    Presenting Convex Sets of Probability Distributions by Convex Semilattices and Unique Bases ((Co)algebraic pearls)
    Authors: Bonchi, Filippo ; Sokolova, Ana ; Vignudelli, Valeria

    Abstract | Document (773 KB) | BibTeX

    Closure Hyperdoctrines
    Authors: Castelnovo, Davide ; Miculan, Marino

    Abstract | Document (872 KB) | BibTeX

    How to Write a Coequation ((Co)algebraic pearls)
    Authors: Dahlqvist, Fredrik ; Schmid, Todd

    Abstract | Document (1,024 KB) | BibTeX

    Monads on Categories of Relational Structures
    Authors: Ford, Chase ; Milius, Stefan ; Schröder, Lutz

    Abstract | Document (863 KB) | BibTeX

    Stream Processors and Comodels
    Authors: Garner, Richard

    Abstract | Document (830 KB) | BibTeX

    A Coinductive Version of Milner’s Proof System for Regular Expressions Modulo Bisimilarity
    Authors: Grabmayer, Clemens

    Abstract | Document (876 KB) | BibTeX

    Functorial Semantics as a Unifying Perspective on Logic Programming
    Authors: Gu, Tao ; Zanasi, Fabio

    Abstract | Document (970 KB) | BibTeX

    The Central Valuations Monad (Early Ideas)
    Authors: Jia, Xiaodong ; Mislove, Michael ; Zamdzhiev, Vladimir

    Abstract | Document (530 KB) | BibTeX

    Coderelictions for Free Exponential Modalities
    Authors: Lemay, Jean-Simon Pacaud

    Abstract | Document (835 KB) | BibTeX

    The Open Algebraic Path Problem
    Authors: Master, Jade

    Abstract | Document (840 KB) | BibTeX

    Preorder-Constrained Simulation for Nondeterministic Automata (Early Ideas)
    Authors: Muroya, Koko ; Sanada, Takahiro ; Urabe, Natsuki

    Abstract | Document (635 KB) | BibTeX

    Quantitative Polynomial Functors (Early Ideas)
    Authors: Nakov, Georgi ; Nordvall Forsberg, Fredrik

    Abstract | Document (547 KB) | BibTeX

    Nawrotzki’s Algorithm for the Countable Splitting Lemma, Constructively ((Co)algebraic pearls)
    Authors: Sokolova, Ana ; Woracek, Harald

    Abstract | Document (660 KB) | BibTeX

    Minimality Notions via Factorization Systems ((Co)algebraic pearls)
    Authors: Wißmann, Thorsten

    Abstract | Document (819 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI