Coalgebraic Methods In Computer Science Research Articles

Report on coalgebraic methods in computer science 2022

The 16 th edition of the IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2022) took place in Munich on Saturday April 2 and Sunday April 3, 2022, as a satellite event of the European Joint Conference on Theory and Practice of Software (ETAPS 2022). As chairs of the workshop, it was a great pleasure for us to run the workshop as an on-site event after a long hiatus due to the COVID pandemic. The workshop was, in fact, a hybrid event, allowing both speakers and registered participants to participate remotely, but in-person participation was strongly encouraged, partly through ETAPS registration fees being the same for online and on-site participation. Up until just a few weeks before the workshop, the COVID situation in Munich was still quite uncertain, and we did not know how many people would attend on-site or at all, so we were extremely happy to find that the large majority of speakers and participants chose to travel to the event, which ensured a lively and engaging atmosphere. The workshop had circa 40 participants of which 5 participated online (with an attendance of 20--30 throughout the sessions). This made CMCS the second-largest workshop at ETAPS 2022. The hybrid setup did pose some technical challenges, but it was much appreciated, and without the option of presenting on-line at least three of the talks would have had to be cancelled. A hybrid format will be considered also for future editions of the workshop.

Conference reports

In this installment, Helle Hvid Hansen (University of Groningen) and Fabio Zanasi (University College London) report on the 16th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2022), which they co-chaired. 1

Special Issue: Seventh Workshop on Coalgebraic Methods in Computer Science 2004

Special Issue: Seventh Workshop on Coalgebraic Methods in Computer Science 2004

An institution of modal logics for coalgebras

This paper presents a modular framework for the specification of certain inductively-defined coalgebraic types. Modal logics for coalgebras of polynomial endofunctors on the category of sets have been studied in [M. Rößiger, Coalgebras and modal logic, in: H. Reichel (Ed.), Coalgebraic Methods in Computer Science, Electronic Notes in Theoretical Computer Science, vol. 33, Elsevier Science, 2000, pp. 299–320; B. Jacobs, Many-sorted coalgebraic modal logic: a model-theoretic study, Theoretical Informatics and Applications 35(1) (2001) 31–59]. These logics are here generalised to endofunctors on categories of sorted sets, in order to allow collections of inter-related types to be specified simultaneously. The inductive nature of the coalgebraic types considered is then used to formalise semantic relationships between different types, and to define translations between the associated logics. The resulting logical framework is shown to be an institution, whose specifications and specification morphisms admit final and respectively cofree models.

Introduction: special issue on selected papers from the Fifth Workshop on Coalgebraic Methods in Computer Science

The articles in this part of this issue of the journal are a selection of the papers originally presented to the Fifth Workshop on Coalgebraic Methods in Computer Science. CMCS was held in April 2002, in Grenoble, France as a satellite conference of ETAPS. The conference proceedings were published in Electronic Notes in Theoretical Computer Science65 (1). There were fifteen contributed papers and two invited talks. Six papers were selected by the Program Committee after a meeting for consideration of this issue, and revised versions were then sent to referees. In consultation with them, I selected the four published here. Most of them were later revised, so, in general, the papers appearing here are improved versions of the conference versions.

Preface: Volume 82, Issue 1

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

Preface to Special Issue: Coalgebraic methods in computer science

During the last few years it has become increasingly clear that a very wide variety of state-based dynamical systems, such as transition systems, automata, process calculi and class-based systems can be captured uniformly as coalgebras. Moreover, the theory and applications of coalgebras is developing into a field of interest in its own right, presenting a deep mathematical foundation, a growing range of applications and interactions with various other areas, 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, and so on.

Preface: Volume 65, Issue 1

This volume contains the Proceedings of the Fifth Workshop on Coalgebraic Methods in Computer Science (CMCS'2002). The Workshop was held in Grenoble, France on April 6--7 2002, as satellite event to ETAPS'2002.Over the last few years it has become 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. The aim of the CMCS workshops is to bring together researchers with a common interest in the theory and application of coalgebras. The five CMCS volumes demonstrate that coalgebra is developing into a field of its own, presenting a deep mathematical foundation and a growing field of applications and interactions with various other fields, such as modal logic, category theory, dynamical systems, control systems, object-oriented and concurrent programming, formal systems specifications, algebra, analysis, combinatorics, and set theory.The papers in this volume were reviewed by the program committee: Jiri Adamek(Department of Computer Science, Technical University of Braunschweig)Alexandru Baltag(Department of Computer Science, Oxford University)H. Peter Gumm(Department of Mathematics and Computer Science, University of Marburg)Jesse Hughes(Department of Computer Science, University of Nijmegen)Bart Jacobs(Department of Computer Science, University of Nijmegen)Alexander Kurz(Department of Software Technology, CWI)Marina Lenisa(Department of Mathematics and Computer Science, University of Udine)Ugo Montanari(Department of Computer Science, University of Pisa)Larry Moss(Department of Mathematics, Indiana University)Ataru T. Nakagawa(SRA Key Technology Laboratory, Tokyo)John Power(Department of Computer Science, The University of Edinburgh)Horst Reichel(Institute of Theoretical Computer Science, Dresden University of Technology)Jan Rutten(Department of Software Technology, CWI)Several outside reviewers also assisted. CMCS received 20 submissions and accepted 15 of them. In addition, there were two invited speakers: Jose Meseguer and Luigi Santocanale. Their papers appear in this volume along with the 15 submitted contributions. We are grateful to everyone who sent us papers, and we regret that the length of the conference did not allow more papers to be presented.We thank the organizers of ETAPS'2002 for their help and encouragement. Special thanks to Rachid Echahed for his constant help with the organization of the workshop, and also to Mike Mislove for his work as a Managing Editor of the ENTCS series. Their efforts have been crucial for the success of CMCS'2002.September 1, 2002 Lawrence S. Moss

Preface: Volume 44, Issue 1

This volume contains the Proceedings of the Fourth Workshop on Coalgebraic Methods in Computer Science (CMCS 2001). The Workshop was held in Genova, Italy on April 6 and 7, 2001, as a satellite event of ETAPS 2001. The aim of the CMCS workshop series is to bring together researchers with a common interest in theory of coalgebras and its applications. Previous workshops have been organized in Lisbon (1998), Amsterdam (1999) and Berlin (2000). The proceedings appeared as ENTCS Vols. 11,19 and 33.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. The first three volumes together with the current volume demonstrate that theory of coalgebras and its applications are 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 Program Committee of CMCS 2001 consisted of Alexandru Baltag(Department of Software Technology, CWI)Andrea Corradini(Department of Computer Science, University of Pisa)Bart Jacobs(Department of Computer Science, University of Nijmegen)Marina Lenisa(Department of Mathematics and Computer Science, University of Udine)Ugo Montanari(Department of Computer Science, University of Pisa)Larry Moss(Department of Mathematics, Indiana University, Bloomington)Ataru T. Nakagawa(Software Research Associates, Tokyo)Dusko Pavlovic(Kestrel Institute, Palo Alto)John Power(Laboratory for Foundations of Computer Science, University of Edinburgh)Horst Reichel(Institute of Theoretical Computer Science, Dresden University of Technology)Jan Rutten(Department of Software Technology, CWI)The Invited Speakers of CMCS 2001 were Robin Cockett (University of Calgary) and Gordon Plotkin (University of Edinburgh).The papers in this volume were reviewed by the program committee members and by Falk Bartels, Anna Bucalo, Corina Cirstea, Pietro Di Gianantonio, Marcelo Fiore, Jesse Hughes, Alexander Kurz, Anna Labella, Lambert Meertens, Marino Miculan, Marco Pistore, Grigore Rosu, Doug Smith.This volume will be published in the series Electronic Notes in Theoretical Computer Science (ENTCS). This series is published electronically through the facilities of Elsevier Science B.V. and its auspices. The volumes in the ENTCS series can be accessed at the URL http://www.elsevier.nl/locate/entcsA printed version of the current volume is distributed to the participants at the workshop in Genova.We are very grateful to the following persons, whose help has been crucial for the success of CMCS 2001: Maura Cerioli and Gianna Reggio for their help with the organization of the Workshop as satellite event of ETAPS 2001; and Mike Mislove, Managing Editor of the ENTCS series, for his assistance with the use of the ENTCS style files. Thanks are also due to the Department of Computer Science of the University of Pisa, which has covered the printing cost of the copies distributed in Genova.Andrea Corradini, Marina Lenisa, Ugo MontanariMarch 13, 2000

Preface: Volume 33

This volume contains the Proceedings of the Third Workshop on Coalgebraic Methods in Computer Science (CMCS'2000). The Workshop was held in Berlin, Germany on March 25 and 26, 2000, as satellite event to ETAPS'2000.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. The aim of the workshops is to bring together researchers with a common interest in the theory of coalgebras and its applications. The first two volumes together with the current volume demonstrate that 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 modal logic, category theory, dynamical systems, control systems, object-oriented and concurrent programming, formal systems specifications, algebra, analysis, etc.The papers in this volume were reviewed by the program committee consisting, besides editor, ofH. Peter Gumm(Department of Mathematics and Computer Science, University of Marburg)Bart Jacobs(Department of Computer Science, University of Nijmegen)Ugo Montanari(Department of Computer Science, University of Pisa)Larry Moss(Department of Mathematics, Indiana University)Ataru T. Nakagawa(Software Research Association)John Power(Department of Computer Science, The University of Edinburgh)Jan Rutten(Department of Software Technology, CWI)This volume will be published as volume 33 in the series Electronic Notes in Theoretical Computer Science (ENTCS). This series is published electronically through the facilities of Elsevier Science B.V. and its auspices. The volumes in the ENTCS series can be accessed at the URLhttp://www.elsevier.nl/locate/entcsThe proceedings of the preceding two workshops are available as volume eleven and nineteen. A printed version of the current volume is distributed to the participants at the workshop in Berlin.We are very grateful to the following persons, whose help has been crucial for the success of CMCS'2000: Hartmut Ehrig and Uwe Wolter for their help with the organization of the Workshop as satellite event of ETAPS'2000; Mike Mislove, one of the Managing Editors of the ENTCS series, for his assistance with the use of the ENTCS style files; Dmitri Schamschurko for his great help in printing these Proceedings. Thanks are also due to the Institute for Theoretical Computer Science of the Dresden University of Technology, which has supplied financial support to cover the printing costs.March 14, 2000Horst Reichel

Preface: Volume 19

This volume contains the Proceedings of the Second Workshop on Coalgebraic Methods in Computer Science (CMCS'99).The Workshop was held in Amsterdam, The Netherlands, on March 20 and 21, 1999, as a satellite event to the European Joint Conferences on Theory and Practice of Software (ETAPS'99). The first CMCS workshop was held one year earlier as a satellite event to ETAPS'98.

Preface: Volume 11

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