In more t han a decade of research, it has been established that a wide variety of state-based dynamical syste ms, like transition systems, automata (including w eighted and probabilistic variants), Markov chains , and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a fie ld of its own interest presenting a deep mathemati cal foundation, a growing field of applications, a nd interactions with various other fields such as reactive and interactive system theory, object-ori ented and concurrent programming, formal system sp ecification, modal and description logics, artific ial intelligence, dynamical systems, control syste ms, category theory, algebra, analysis, etc.
\nThe aim of the CMCS workshops is to bring tog ether researchers with a common interest in the th eory of coalgebras, their logics, and their applic ations. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly encouraged.
\nEstablished in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, thei r logics, and their applications (and neighbouring fields as well).
\nRegular papers (max 18 pages in Springer LNCS style, ex cl. references)must be original, unpublished, and not submitted for publication elsewhere. S hort contributions (max. 2 pages incl. re ferences) may describe work in progress, or summar ise work submitted to a conference or workshop els ewhere. Both types of contributions must be submit ted electronically as a PDF file via the Easychair system.
\n