CMCS 2004
7th International Workshop on Coalgebraic Methods in
Computer Science
Barcelona, Spain
March 27 - 29, 2004
Aims | Location | Progam Committee | Invited Speakers | Submissions | Program | Important Dates
|
The workshop is held in conjunction with the
7th European Joint Conferences on
Theory and Practice of Software
ETAPS 2004
Barcelona, Spain
March 27 - April 4, 2004
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, 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.
Program Committee
Jiri Adamek
(chair, Braunschweig),
Corina Cirstea
(Southampton), H. Peter
Gumm
(Marburg), Alexander Kurz
(Leicester), Ugo Montanari
(Pisa), Larry Moss
(Bloomington), Ataru T. Nakagawa
(Tokyo), Grigore Rosu
(Urbana), Dirk Pattinson
(München), Jan Rutten
(Amsterdam), James Worrell
(New Orleans).
Invited Speakers
- Prakash Panangaden (McGill University, Montreal)
- Alex Simpson (University of Edinburgh)
Submissions: deadline for final revisions in ENTCS style is April 30
Important Dates
| Final version in ENTCS style due: | April 30, 2004.
|
| Workshop dates: | March 27-29, 2004.
|