default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th CALCO 2025: Strathclyde, UK
- Corina Cîrstea
, Alexander Knapp:
11th Conference on Algebra and Coalgebra in Computer Science, CALCO 2025, University of Strathclyde, UK, June 16-18, 2025. LIPIcs 342, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-383-6 - Front Matter, Table of Contents, Preface, Conference Organization. 0:i-0:x
- Filippo Bonchi, Elena Di Lavore, Mario Román:
Effectful Mealy Machines: Coalgebraic and Causal Traces (Invited Talk). 1:1-1:7 - Alexander Kurz:
Logic Enriched over a Quantale (Invited Talk). 2:1-2:1 - Jirí Adámek, Stefan Milius, Lawrence S. Moss:
Terminal Coalgebras for Finitary Functors. 3:1-3:16 - Chris Purdy, Stefania Damato:
Distributive Laws of Monadic Containers. 4:1-4:22 - Ralph Sarkis, Fabio Zanasi:
String Diagrams for Graded Monoidal Theories, with an Application to Imprecise Probability. 5:1-5:23 - Antonio Lorenzin, Fabio Zanasi:
An Algebraic Approach to Moralisation and Triangulation of Probabilistic Graphical Models. 6:1-6:21 - Alvin Tang, Dirk Pattinson:
A Coinductive Representation of Computable Functions. 7:1-7:15 - Bart Jacobs, Márk Széles:
Drawing and Recolouring. 8:1-8:15 - Helle Hvid Hansen, Wolfgang Poiger:
Safety and Strong Completeness via Reducibility for Many-Valued Coalgebraic Dynamic Logics. 9:1-9:23 - Roberto Biondo, Davide Castelnovo, Fabio Gadducci:
EGGs Are Adhesive! 10:1-10:18 - Filippo Bonchi, Cipriano Junior Cioffo, Alessandro Di Giorgio, Elena Di Lavore:
Tape Diagrams for Monoidal Monads. 11:1-11:24 - Ana Sokolova, Harald Woracek:
Cancellative Convex Semilattices. 12:1-12:15 - Daniel Luckhardt, Harsh Beohar, Clemens Kupke:
Expressivity of Bisimulation Pseudometrics over Analytic State Spaces. 13:1-13:23 - Kazuki Watanabe:
Pareto Fronts for Compositionally Solving String Diagrams of Parity Games. 14:1-14:20 - Thorsten Wißmann, Bálint Kocsis, Jurriaan Rot, Ruben Turkenburg:
Trees in Coalgebra from Generalized Reachability ((Co)algebraic pearl). 15:1-15:18 - Quentin Aristote:
Active Learning of Upward-Closed Sets of Words ((Co)algebraic pearl). 16:1-16:12
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-09-05 00:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
