CMCS: Coalgebraic Methods in Computer Science
During the last few years, it is becoming increasingly clear that a great
variety of state-based dynamical systems, like transition systems, automata,
process calculi and class-based systems can be captured uniformly as coalgebras.
Coalgebra is developing 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 logic, dynamical systems, control systems, category theory, algebra,
analysis, etc. The aim of the workshop is to bring together researchers
with a common interest in the theory of coalgebras and its applications.
The topics of the workshop include, but are not limited to:
The workshop will provide an opportunity to present recent and ongoing
work, to meet colleagues, and to discuss new ideas and future trends.
the theory of coalgebras (including set theoretic and categorical approaches);
coalgebras as computational and semantical models (for programming languages,
dynamical systems, etc.);
coalgebras in (functional, object-oriented, concurrent) programming;
coalgebras and data types;
(coinductive) definition and proof principles for coalgebras (with bisimulations
coalgebras and algebras;
coalgebraic specification and verification;
coalgebras and (modal) logic;
coalgebra and control theory (notably of discrete event and hybrid systems).
Ugo Montanari (email@example.com)