5th International Workshop on Coalgebraic Methods
in Computer Science
6-7 April 2002
Here is the
of the Electronic Notes in Theoretical Computer Science
from the meeting.
Here is the
for the 2003 CMCS meeting.
Location | Progam
Committee | Submissions | Important
The workshop is held in conjunction with the
5th European Joint Conferences on Theory and
April 6 - 14, 2002
Aims and Scope
During the last few years, it is becoming increasingly clear that a great
variety of state-based dynamical systems, like transition systems,
process calculi and class-based systems can be captured uniformly as
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
coalgebras as computational and semantical models (for programming
dynamical systems, etc.);
coalgebras in (functional, object-oriented, concurrent) programming;
coalgebras and data types;
(coinductive) definition and proof principles for coalgebras (with
coalgebras and algebras;
coalgebraic specification and verification;
coalgebras and (modal) logic;
coalgebra and control theory (notably of discrete event and hybrid
Previous workshops of the same series have been organized in Lisbon,
Amsterdam, Berlin, and Genova. The proceedings appeared as
Electronic Notes in Theoretical Computer Science (ENTCS) Volumes 11,19,
33, and 41. You can get an idea of the types of papers presented at the
by looking at the tables of contents of the ENTCS volumes from
the meetings, available
CMCS2002 will be held in Grenoble in April 2002.
It is a
workshop of ETAPS 2002, the European Joint Conferences on Theory and
Practice of Software. For venue, registration
and suggested accommodation see the ETAPS2002
J. Adamek (Braunschweig),
Jesse Hughes (Nijmegen),
H. Peter Gumm
Alexander Kurz (Amsterdam),
(Udine), Ugo Montanari
Moss (chair, Bloomington, IN),
Power (Edinburgh), Horst
Reichel (Dresden), Jan Rutten
Submissions will be evaluated by the Program Committee for inclusion in
the proceedings, which will be published in the ENTCS series. Papers
must contain original contributions, be clearly written, and include
appropriate reference to and comparison with related work. Papers (of at
15 pages) should be submitted electronically as uuencoded PostScript
A separate message should
also be sent, with a text-only one-page abstract and with mailing
addresses (both postal and electronic), telephone number and fax number of
Deadline for submission: 8 Janary 2002.
Notification of acceptance: 20 February 2002.
Final version due: 10 March 2002.
Workshop dates: 6-7 April 2002.