### CMCS 2012: Call for Participation and Short Contributions

<ams <at> cwi.nl>

2012-02-04 12:52:12 GMT

------------------------------------------------------------------------------
CMCS 2012 call for participation and short contributions
------------------------------------------------------------------------------
The 11th International Workshop on Coalgebraic Methods in Computer Science
31 March - 1 April 2012, Tallinn, Estonia
co-located with ETAPS 2012
www.coalg.org/cmcs12
Aims and scope
--------------
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 workshop
series is to bring together researchers with a common interest in the
theory of coalgebras, their logics, and their applications.
The topics of the workshop include, but are not limited to:
* the theory of coalgebras (including set theoretic and categorical
approaches);

(Continue reading)