CALCO 2023 June 19-21, 2023, Indiana University Bloomington, IN, USA

10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)



Paolo Baldan and Valeria de Paiva (Eds.)
ISBN 978-3-95977-287-7, LIPICS Vol. 270 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 7 MB)
Search Publication Server


Authors
  • Adámek, Jiří
  • Baldan, Paolo
  • Basold, Henning
  • Beohar, Harsh
  • Boccali, Guido
  • Bruni, Roberto
  • Castello, Jonathan
  • de Paiva, Valeria
  • Dostál, Matěj
  • Dubut, Jérémy
  • Fritz, Tobias
  • Gadducci, Fabio
  • Goncharov, Sergey
  • Grodin, Harrison
  • Harper, Robert
  • Kräuter, Tim
  • Kuper, Lindsey
  • Kupke, Clemens
  • Kurz, Alexander
  • König, Harald
  • Laretto, Andrea
  • Liittschwager, Nathan
  • Loregian, Fosco
  • Luneia, Stefano
  • Mahboubi, Assia
  • Milius, Stefan
  • Milosavljević, Aleksandar
  • Moss, Lawrence S.
  • Noquez, Victoria
  • North, Paige Randall
  • Pereira, Luiz Carlos
  • Perrone, Paolo
  • Piedeleu, Robin
  • Pimentel, Elaine
  • Poiger, Wolfgang
  • Péroux, Maximilien
  • Ralaivaosaona, Tanjona
  • Rot, Jurriaan
  • Sammartino, Matteo
  • Samuelson, Richard
  • Schmid, Todd
  • Schröder, Lutz
  • Siek, Jeremy G.
  • Silva, Alexandra
  • Stein, Dario
  • Tarlecki, Andrzej
  • Trotta, Davide
  • Tsampas, Stelios
  • Turkenburg, Ruben
  • Urbat, Henning
  • Velebil, Jiří
  • Wißmann, Thorsten
  • Wolter, Uwe
  • Zanasi, Fabio
  • Zetzsche, Stefan

  •   
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Baldan, Paolo ; de Paiva, Valeria

    Abstract | Document (452 KB) | BibTeX

    Integrating Cost and Behavior in Type Theory (Invited Talk)
    Authors: Harper, Robert

    Abstract | Document (363 KB) | BibTeX

    Local Completeness for Program Correctness and Incorrectness (Invited Talk)
    Authors: Bruni, Roberto

    Abstract | Document (427 KB) | BibTeX

    A Tour on Ecumenical Systems (Invited Talk)
    Authors: Pimentel, Elaine ; Pereira, Luiz Carlos

    Abstract | Document (775 KB) | BibTeX

    The Metatheory of Gradual Typing: State of the Art and Challenges (Invited Talk)
    Authors: Siek, Jeremy G.

    Abstract | Document (329 KB) | BibTeX

    Machine-Checked Computational Mathematics (Invited Talk)
    Authors: Mahboubi, Assia

    Abstract | Document (329 KB) | BibTeX

    Forward and Backward Steps in a Fibration
    Authors: Turkenburg, Ruben ; Beohar, Harsh ; Kupke, Clemens ; Rot, Jurriaan

    Abstract | Document (759 KB) | BibTeX

    Structural Operational Semantics for Heterogeneously Typed Coalgebras
    Authors: König, Harald ; Wolter, Uwe ; Kräuter, Tim

    Abstract | Document (2,045 KB) | BibTeX

    Interpolation Is (Not Always) Easy to Spoil
    Authors: Tarlecki, Andrzej

    Abstract | Document (828 KB) | BibTeX

    String Diagram Rewriting Modulo Commutative (Co)Monoid Structure
    Authors: Milosavljević, Aleksandar ; Piedeleu, Robin ; Zanasi, Fabio

    Abstract | Document (818 KB) | BibTeX

    Strongly Finitary Monads for Varieties of Quantitative Algebras
    Authors: Adámek, Jiří ; Dostál, Matěj ; Velebil, Jiří

    Abstract | Document (770 KB) | BibTeX

    Generators and Bases for Monadic Closures
    Authors: Zetzsche, Stefan ; Silva, Alexandra ; Sammartino, Matteo

    Abstract | Document (809 KB) | BibTeX

    Bisimilar States in Uncertain Structures
    Authors: Rot, Jurriaan ; Wißmann, Thorsten

    Abstract | Document (758 KB) | BibTeX

    A Category for Unifying Gaussian Probability and Nondeterminism
    Authors: Stein, Dario ; Samuelson, Richard

    Abstract | Document (711 KB) | BibTeX

    Fractals from Regular Behaviours
    Authors: Schmid, Todd ; Noquez, Victoria ; Moss, Lawrence S.

    Abstract | Document (959 KB) | BibTeX

    Coinductive Control of Inductive Data Types
    Authors: North, Paige Randall ; Péroux, Maximilien

    Abstract | Document (700 KB) | BibTeX

    Weakly Markov Categories and Weakly Affine Monads
    Authors: Fritz, Tobias ; Gadducci, Fabio ; Perrone, Paolo ; Trotta, Davide

    Abstract | Document (718 KB) | BibTeX

    Many-Valued Coalgebraic Logic: From Boolean Algebras to Primal Varieties
    Authors: Kurz, Alexander ; Poiger, Wolfgang

    Abstract | Document (727 KB) | BibTeX

    Composition and Recursion for Causal Structures
    Authors: Basold, Henning ; Ralaivaosaona, Tanjona

    Abstract | Document (780 KB) | BibTeX

    Aczel-Mendler Bisimulations in a Regular Category
    Authors: Dubut, Jérémy

    Abstract | Document (792 KB) | BibTeX

    Completeness for Categories of Generalized Automata ((Co)algebraic pearls)
    Authors: Boccali, Guido ; Laretto, Andrea ; Loregian, Fosco ; Luneia, Stefano

    Abstract | Document (795 KB) | BibTeX

    On Kripke, Vietoris and Hausdorff Polynomial Functors ((Co)algebraic pearls)
    Authors: Adámek, Jiří ; Milius, Stefan ; Moss, Lawrence S.

    Abstract | Document (794 KB) | BibTeX

    CRDTs, Coalgebraically (Early Ideas)
    Authors: Liittschwager, Nathan ; Tsampas, Stelios ; Castello, Jonathan ; Kuper, Lindsey

    Abstract | Document (604 KB) | BibTeX

    Amortized Analysis via Coinduction (Early Ideas)
    Authors: Grodin, Harrison ; Harper, Robert

    Abstract | Document (687 KB) | BibTeX

    Higher-Order Mathematical Operational Semantics (Early Ideas)
    Authors: Goncharov, Sergey ; Milius, Stefan ; Schröder, Lutz ; Tsampas, Stelios ; Urbat, Henning

    Abstract | Document (498 KB) | BibTeX

      




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