11 - 12 April 2026, CMCS 2026 – 18th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science, Turin [IT]
In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields such as reactive and interactive system theory, object-oriented and concurrent programming, formal system specification, modal and description logics, artificial intelligence, dynamical systems, control systems, category theory, algebra, analysis, etc.
The aim of the CMCS workshops is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly encouraged.
Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications (and neighbouring fields as well).
Regular papers (max 18 pages in Springer LNCS style, excl. references)must be original, unpublished, and not submitted for publication elsewhere. Short contributions (max. 2 pages incl. references) may describe work in progress, or summarise work submitted to a conference or workshop elsewhere. Both types of contributions must be submitted electronically as a PDF file via the Easychair system.