Workshop on Coalgebraic Methods in Computer Science (CMCS'99)

Scope

State-based dynamical systems as found throughout computing science are traditionally described as transition systems or certain kinds of automata. During the last decade, it has become increasingly clear that such systems can be captured uniformly as so-called ``coalgebras'' (which are the formal dual of algebras). Coalgebra is beginning to develop into a field of its own, with its own proof-methods (involving bisimulations and invariants). This workshop will be devoted to both an introduction to basic coalgebraic notions and techniques, and also to some recent advances in the theory of coalgebras.

We are looking for participants and contributed talks to this informal workshop on both the theory and the use of coalgebras in computer science. The workshop will consist of two days, preceding the ETAPS conference (20-21 March 1999) in Amsterdam. More information regarding submissions is given below.

The scope of the meeting includes the following themes:

Organization: Bart Jacobs (Nijmegen), Horst Reichel (Dresden), Jan Rutten (CWI, Amsterdam) and Larry Moss (Bloomington, IN).

Program Committee: Robin Cockett (Calgary), H. Peter Gumm (Marburg), Bart Jacobs (Nijmegen), Larry Moss (Bloomington, IN), Ataru T. Nakagawa (Tokyo), John Power (Edinburgh), Horst Reichel (Dresden), Jan Rutten (CWI, Amsterdam).

Publication Volume 19 of the ENTCS series (Electronic Lecture Notes in Theoretical Computer Science) is available as proceedings of the meeting, similarly to volume 11 of CMCS'98. At a later stage, a special issue of TCS (Theoretical Computer Science) is possible, with selected contributions from the CMCS'99 ENTCS volume.

Program

Saturday, March 20th, 14:00 - 17:00:

Evening: CMCS'99 diner (included in the registration fee)

Sunday, March 21th, 9:30 - 16.30:

Location

The workshop will take place at the Tulip Inn Tropen Hotel, Amsterdam. See the ETAPS web page for more information and registration.

Submissions

The following dates are important for submission to the ENTCS volume.

  1. 1 January 1999: deadline for submissions.
  2. 12 February 1999: notification of acceptance.
  3. 3 March 1999: final version.
  4. 20-21 March 1999: workshop, where a printed version of the ENTCS issue will be available for participants.
  5. (22-26 March 1999: ETAPS conference).
The ideal submission is not longer than 20 pages, and gives a clear exposition of the relevant ideas. It can be sent by email to: Bart Jacobs, or by ordinary mail to: