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

ETAPS 
2004 Logo

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 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


Submissions: deadline for final revisions in ENTCS style is April 30


Program


Important Dates

Final version in ENTCS style due: April 30, 2004.
Workshop dates: March 27-29, 2004.



For more information, please write to adamek@iti.cs.tu-bs.de