Workshop on Coalgebraic Methods in Computer Science (CMCS'99)
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
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:
- the theory of coalgebras (including set theoretic and categorical
- coalgebras as computational and semantical models (for programming
languages, dynamic 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 (hidden-sorted) algebras;
- coalgebraic specification and verification;
- coalgebras and (modal) logic
Organization: Bart Jacobs
(Nijmegen), Horst Reichel (Dresden), Jan
Rutten (CWI, Amsterdam) and
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).
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
(Theoretical Computer Science) is possible,
with selected contributions from the CMCS'99 ENTCS volume.
Saturday, March 20th, 14:00 - 17:00:
- 14:00 - 14:30 Marina Lenisa.
From set-theoretic coinduction to coalgebraic
coinduction: some results, some problems.
- 14:30 - 15:00 Slawomir Lasota.
Coalgebra morphisms subsume open maps.
- 15:00 - 15:30 Tea
- 15:30 - 16:00 James Worrel.
Terminal Sequences for Endofunctors on Set.
- 16:00 - 16:30 Martin Roessiger.
Languages for Coalgebras on Datafunctors.
- 16:30 - 17:00 Uwe Wolter.
A coalgebraic introduction to CSP.
Evening: CMCS'99 diner (included in the registration fee)
Sunday, March 21th, 9:30 - 16.30:
- 9:30 - 10:30 Peter Wegner, Dina Goldin .
Coalgebras as a paradigm for interactive computing
- 10:30 - 11:00 John Power, Hiroshi Watanabe,
Distributivity for a monad and a comonad.
- 11:00 - 11:30 Coffee
- 11:30 - 12:00 Dusko Pavlovic, Vaughn Pratt.
On coalgebras of real numbers.
- 12:00 - 12:30 Reiko Heckel, Andrea Corradini, Ugo Montanari.
From SOS Specifications to Structured Coalgebras:
How to Make Bisimulation a Congruence
- 12:30 - 14:00 Lunch
- 14:00 - 14:30 Corina Cirstea.
A Coequational Approach to Specifying Behaviours.
- 14:30 - 15:00 Rolf Hennicker, Alexander Kurz.
(\Omega, \Xi)-Logic: On the Algebraic Extension of Coalgebraic
- 15:00 - 15:30 Tea
- 15:30 - 16:00 Dorel Lucanu, Ovidiu Gheorghies, Adriana Apetrei.
Bisimulation and Hidden Algebra.
- 16:00 - 16:30 Franck van Breugel, Stephen Watson.
A Note on Hyperspaces and Terminal Coalgebras.
The workshop will take place at the Tulip Inn Tropen Hotel,
Amsterdam. See the
ETAPS web page for more information and registration.
The following dates are important for submission to the
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:
or by ordinary mail to:
Dep. Computer Science, University of Nijmegen,
P.O. Box 9010, 6500 GL Nijmegen,
- 1 January 1999: deadline for submissions.
- 12 February 1999: notification of acceptance.
- 3 March 1999: final version.
- 20-21 March 1999: workshop, where a printed version
of the ENTCS issue will be available for participants.
- (22-26 March 1999: