Coalgebraic Methods in Computer Science

18th IFIP WG 1.3 International Workshop, CMCS 2026, Turin, Italy, April 11–12, 2026, Proceedings
Erscheinungsjahr 2026
ISBN: 978-3-032-40443-5
Verlag: Springer

Buch, Englisch, Format (B × H): 155 mm x 235 mm

Reihe: Lecture Notes in Computer Science

This book constitutes the proceedings of the 18th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2025, Turin, Italy, during April 11–12, 2026.

The 7 full papers included in this book were carefully reviewed and selected from 10 submissions. The papers cover a wide range of topics on theory, logics, and applications of coalgebras.

Zielgruppe

Research

Autoren/Hrsg.

Basold, Henning

Kupke, Clemens

Fachgebiete

• Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz
• Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker
• Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik
• Mathematik | Informatik Mathematik Mathematik Allgemein Grundlagen der Mathematik

Inhaltsverzeichnis

.- On the Axioms of Arboreal Categories.

.- Coalgebraic Path Constraints.

.- A Framework for Coalgebraic Reward-Sensitive Bisimulation.

.- Coalgebraic Semantics for Fischer Servi Intuitionistic Modal Logic.

.- Learning Automata with Name Allocation.

.- Coalgebraic Semantics for Two-agent ATL and its Meta-level Model-checking Complexity.

.- The Only Distributive Law Over the Powerset Monad Is the One You Know.