Logic List Mailing Archive

CALCO 2005: 1st Conference on Algebra and Coalgebra in Computer Science (Swansea, Wales, September 2005)

*                        3nd Call for Papers                         *
*                            CALCO 2005                              *
*       1st Conference on Algebra and Coalgebra in Computer Science  *
*               September 3-6, 2005, Swansea, Wales, UK              *

*               Abstract submission :       January 21, 2005         *
*               Technical paper submission: January 31, 2005         *
*               Author notification:        April   11, 2005         *

*               http://www.cs.swan.ac.uk/calco/                      *

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
www.cs.swan.ac.uk/calco-jnr/ for details).