10th International Workshop on Coalgebraic Methods in Computer Science
During the last few years, it has become 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 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 or invariants);
- coalgebras and algebras;
- coalgebraic specification and verification;
- coalgebras and (modal) logic;
- coalgebra and control theory (notably of discrete event and hybrid systems).
The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends.
Previous workshops of the same series have been organized in Lisbon, Amsterdam, Berlin, Genova, Grenoble, Warsaw, Barcelona, Vienna and Budapest. The proceedings appeared as Electronic Notes in Theoretical Computer Science (ENTCS) volumes 11, 19, 33, 44.1, 65.1, 82.1, 106, 164.1 and 203.5. You can get an idea of the types of papers presented at the meeting by looking at the tables of contents of the ENTCS volumes from those workshops.
An anniversary: the 10th CMCS
CMCS took place for the first time when ETAPS started, in 1998. Since then, it has always been collocated with ETAPS, becoming bi-annual since the start of CALCO (Conference on Algebra and Coalgebra) in 2005.
In 2010, we will celebrate the 10th edition of CMCS, by inviting a number of specialists in the field to present overviews of both obtained results and future challenges.