CALCO

Keyphrases

Publications

2023

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

volume 270, 2023

10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, June 19-21, 2023, Indiana University Bloomington, IN, USA CALCO 270 (2023)

2021

volume 211, 2021

9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021, August 31 to September 3, 2021, Salzburg, Austria. CALCO 211 (2021)