There are two types of contributions at CMCS: regular papers and short contributions. Regular papers must be original, unpublished, and not submitted for publication elsewhere. Short contributions may describe work in progress, or summarise work submitted to a conference or workshop elsewhere.
Accepted Papers
The following submissions have been accepted at CMCS 2022 and will appear in a Springer LNCS volume
- Samson Abramsky, Tomáš Jakl and Thomas Paine
Discrete density comonads and graph parameters - Harsh Beohar, Barbara König, Sebastian Küpper and Christina Mika-Michalski
Predicate and relation liftings and modal logics for coalgebras with side effects - Florian Frank, Stefan Milius and Henning Urbat
Coalgebraic Language Semantics for Nominal Automata - Heinz-Peter Gumm and Mona Taheri
Saturated Kripke Structures as Vietoris Coalgebras - Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino and Alexandra Silva
A Categorical Framework for Learning Generalised Tree Automata - Bart Jacobs
Stick Breaking, in Coalgebra and Probability - Damien Pous, Jurriaan Rot and Ruben Turkenburg
Corecursion up-to via Causal Transformations - Aloïs Rosset, Helle Hvid Hansen and Joerg Endrullis
Algebraic Presentation of Semifree Monads - Lawrence Moss and Victoria Noquez
Corecursive Algebras in Nature
Accepted Short Contributions
The following short contributions accepted at CMCS 2022 are available as a
single PDF here.
- Corina Cirstea
Measure-Theoretic Semantics for Quantitative, Linear-Time Logics - Chase Ford, Stefan Milius, Lutz Schröder, Barbara König and Harsh Beohar
Graded Monads and Behavioural Equivalence Games - Alexander Gheorghiu and David Pym
Reductive Logic, Proof-search, and Coalgebra - Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas and Henning Urbat
Stateful Structural Operational Semantics - Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga and Ichiro Hasuo
The Lattice-Theoretic Essence of Property Directed Reachability Analysis - Alexander Kurz and Nima Motamed
Boolean-Valued Multiagent Coalgebraic Logic - Fosco Loregian
Differential 2-rigs - Nihil Shah and Amin Karamlou
No-go theorems for mixed distributive laws: extended abstract - Henning Urbat
Nominal Topology for Data Languages - Thorsten Wißmann
Supported Sets – A New Foundation For Nominal Sets And Automata