ETAPS 2022 Satellite Event

Accepted Papers and Short Contributions

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