SPECIAL ISSUE:
Selected Papers of the 5th Conference on Algebra and Coalgebra in Computer Science (CALCO 2013)
Warsaw, Poland, 2013



Preface



CALCO 2013, the 5th Conference on Algebra and Coalgebra in Computer Science, was held in Warsaw, Poland, September 3 - 6, 2013. This special issue contains extended versions of selected papers presented at the conference.

CALCO is a bi-annual event formed by joining CMCS (the International Workshop on Coalgebraic Methods in Computer Science) and WADT (the International Workshop on Algebraic Development Techniques). CALCO focuses on foundational aspects as well as both traditional and emerging uses of algebras and coalgebras in computer science, where the study of algebra and coalgebra relates to the data, process and structural aspects of software systems.

We are grateful to the University of Warsaw and to the Local Organizing Committee chaired by Bartek Klin, for organizing the interesting and memorable event of CALCO 2013.

Proceedings of the conference with the original contributions by invited speakers and submissions selected by the Programme Committee were published by Springer-Verlag as volume 8089 of Lecture Notes in Computer Science.

The seven papers in this collection were invited by the guest editors, based on the evaluation by the Programme Committee and the referees. All submitted papers were peer-reviewed according to the usual high standards of LMCS.

We would like to thank the authors of the papers in this special issue for their excellent submissions, and the referees for their careful and thorough work.

Reiko Heckel and Stefan Milius
Guest Editors & PC Chairs of CALCO 2013




Full Text: PDF

Creative Commons