CALCO, the International Conference on Algebra and Coalgebra in Computer
Science, is a high-level, bi-annual event formed by joining CMCS (the International
Workshop on Coalgebraic Methods in Computer Science) and WADT
(the Workshop on Algebraic Development Techniques). CALCO aims to bring
together researchers and practitioners with interests in foundational aspects,
and both traditional and emerging uses of algebras and coalgebras in computer
science. The study of algebra and coalgebra relates to the data, process and
structural aspects of software systems.
Previous CALCO editions took place in Swansea (UK, 2005), Bergen
(Norway, 2007) and Udine (Italy, 2009). CALCO 2011, the fourth conference
in the series, took place in the city of Winchester (UK), from August 30 to
September 2, 2011.
CALCO 2011 received 41 submissions, out of which 21 were selected for
presentation at the conference. The standard of submissions was generally very
high. The selection process was carried out by the Program Committee, taking
into account the originality, quality and relevance of the material presented in
each submission, based on the opinions of expert reviewers, three or four for
each submission. The selected and revised papers are included in this volume,
together with the contributions from the invited speakers Vincent Danos, Javier
Esparza, Philippa Gardner and Gopal Gupta.
CALCO 2011 was co-located with two workshops. The CALCO Young
Researchers Workshop, CALCO-jnr, was dedicated to presentations by PhD
students and young researchers. CALCO-jnr was organized by Corina Cˆ?rstea,
Magne Haveraaen, John Power, Monika Seisenberger and Toby Wilkinson. The
CALCO-tools Workshop, organized by Dorel Lucanu, provided presentations of
tools. The papers presenting the tools also appear in this volume.
We wish to thank all the authors who submitted their papers to CALCO
2011, the Program Committee and the external reviewers who supported the
Committee in the evaluation and selection process.
We are grateful to the University of Southampton for hosting CALCO 2011
at Winchester and to the Organizing Committee, chaired by Corina Cˆ?rstea,
for all the local arrangements. We also thank the London Mathematical Society,
the British Logic Colloquium, and the University of Southampton for their
financial support. At Springer, Alfred Hofmann and his team supported the publishing
process. We gratefully acknowledge the use of EasyChair, the conference
management system by Andrei Voronkov.