Coalgebraic Methods in Computer Science - 18th IFIP WG 1.3 International Workshop, CMCS 2026, Turin, Italy, April 11–12, 2026, Proceedings

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.