Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 CMCS 2004
CMCS 2004
7th International Workshop on 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 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 and Warsaw. The proceedings appeared as Electronic Notes in
Theoretical Computer Science (ENTCS) Volumes 11,19, 33, 41, 65.1 and 82.1. 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 the meetings, available at the ENTCS
page.
Location
CMCS2004 will be held in Barcelona in March
2004. It is a satellite workshop of ETAPS 2004, the European Joint
Conferences on Theory and Practice of Software. For venue, registration and
suggested accommodation see the ETAPS2004 web page.