CALCO 2005
First Conference on Algebra and Coalgebra in Computer Science
September 3 - 6, 2005, University of Wales Swansea, UK
"To avoide the tediouse repetition of these
woordes: is equalle to: I will settle as I doe often in woorke use, a paire of paralleles,
or gemowe [twin] lines of one lengthe: =, bicause noe .2. thynges, can be moare equalle."
Robert Recorde (1510 - 1558)
CMCS - the International Workshop on Coalgebraic Methods in Computer Science, and
WADT - the Workshop on Algebraic Development Techniques, are joining their forces
and reputations into a new high-level bi-annual conference. Starting in 2005, CALCO
will bring together researchers and practitioners to exchange new results related
to foundational aspects and both traditional and emerging uses of algebras and coalgebras
in computer science.
CALCO 2005 will be preceded by a CALCO Young Researchers Workshop,
CALCO-jnr, dedicated to presentations by PhD students and by those who
completed their doctoral studies within the past few years (see
CALCO-jnr for details).
