calco 2011: 4th International Conference on Algebra and Coalgebra in Computer Science 2011

August 29, 2011-September 2, 2011 in Winchester, UK

About the Conference

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.

This is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Swansea (Wales, 2005), Bergen (Norway, 2007) and Udine (Italy, 2009). The fourth edition will be held in the city of Winchester (England), a historic cathedral city and the ancient capital of Wessex and the Kingdom of England.

Conference Dates

Submissions: February 13, 2011
Notification: April 20, 2011
Event: August 29, 2011-September 2, 2011

Proceedings