Preface: Volume 11

Abstract

This volume contains the Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS '98). The Workshop was held in Lisbon, Portugal on March 28 and 29, 1998, as a satellite event to ETAPS '98.During the last decade, it has become increasingly clear that many state-based dynamical systems, such as transition systems, automata, and object-based systems, can be captured uniformly as coalgebras. Coalgebra is beginning to develop into a field of its own, with its own model theory and proof methods (involving bisimulations and invariants).The aim of this workshop is to bring together researchers with a common interest in the theory of coalgebra and its applications. We are very happy with both the number and the quality of the papers that were submitted, as well as with the fact that the Workshop has attracted many participants.The papers in this volume were reviewed by the organizers of the meeting. This series is published electronically through the facilities of Elsevier Science B.V. and under its auspices. A printed version of this volume is distributed to the participants of the Workshop.We are very grateful to the following persons, whose help has been crucial for the success of CMCS '98: Jose Fiardeiro, the organizer of ETAPS '98, for his help with the organization of the Workshop; Mike Mislove, one of the Managing Editors of the ENTCS series, for his assistence with the use of the ENTCS style files; and Jan Schipper, from the Facility Department of CWI, for his help in printing these Proceedings. Thanks are also due to the Department of Software Engineering (SEN) of the CWI, which has supplied financial support for the printing costs.10 March 1998, Bart Jacobs, Larry Moss, Horst Reichel, Jan Rutten