Preface: Volume 82, Issue 1

Abstract

This volume contains the Proceedings of the Sixth Workshop on Coalgebraic Methods in Computer Science (CMCS'03). The workshop was held in Warsaw, Poland on April 5 and 6, 2003, as a satellite event to the European Joint Conference on Theory and Practice of Software (ETAPS'03). The aim of the CMCS workshop series is to bring together researchers with a common interest in the theory of coalgebras and its applications. Previous workshops have been organized in Lisbon (1998), Amsterdam (1999), Berlin (2000), Genoa (2001), and Grenoble (2002).Coalgebras have been found extremely useful for capturing state-based dynamical systems, such as transition systems, automata, process calculi, and class-based systems. The theory of coalgebras has developed into a field of its own interest, presenting a deep mathematical foundation, a growing domain of applications and interactions with various other fields, such as reactive and interactive systems theory, object oriented and concurrent programming, formal system specification, modal logic, dynamical systems, control systems, category theory, algebra, analysis, etc.The program committee of CMCS'03 consisted ofJiri AdámekTechnical University of Braunschweig, GermanyCorina CîrsteaOxford University, UKH. Peter GummUniversity of Marburg, Germany, (chair)Bart JacobsUniversity of Nijmwegen, The NetherlandsAlexander KurzUniversity of Leicester, UKMarina LenisaUniversity of Udine, ItalyUgo MontanariUniversity of Pisa, ItalyLarry MossIndiana University, Bloomington, USAAtaru T. NakagawaSoftware Research Associates, Tokyo, JapanHorst ReichelTechnical University Dresden, GermanyGrigore RosuUniversity of Illinois, Urbana, USAJan RuttenCWI, Amsterdam, The NetherlandsJames WorrellTulane University, New Orleans, USAThe papers were refereed by the program committee and by several outside referees, whose help is gratefully acknowledged. The invited speakers at the conference wereZoltán ÉsikUniversity of Szeged, HungaryVaughan PrattStanford University, USAThese proceedings are being published as volume 82.1 in the series Electronic Notes in Theoretical Computer Science (ENTCS). Printed copies, containing preliminary versions of the articles in these proceedings were distributed to the participants of the conference. The proceedings of the previous CMCS workshops appeared as ENTCS Volumes 11, 19, 33, 44.1, and 65.1.We are grateful to ENTCS for their continuing support, in particular to Mike Mislove, Managing Editor of the ENTCS series.For the sixth time, CMCS has been organized as satellite event to ETAPS. We are very grateful to the ETAPS organizers, especially to Damian Niwinski, for taking care of all the local organization and for accommodating all our special requests. Marburg, May 27, 2003H. Peter Gumm