CALCO'09

3rd Conference on Algebra and Coalgebra in Computer Science

September 6-10, 2009, Udine, Italy

CALCO 2009

CALCO brings 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. The study of algebra and coalgebra relates to the data, process and structural aspects of software systems.

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). The first and the second, very successful, CALCO conferences took place 2005 in Swansea, Wales, and 2007 in Bergen, Norway.

The third event will take place 2009 in Udine, Italy.

CALCO 2009 will be preceded by the 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, and by the CALCO-tools workshop, that will provide the opportunity to give system demonstrations. There will be separate submission procedures for CALCO-jnr and CALCO-tools, respectively.

CALCO 2009 will be followed by the Symposium in honor of Peter Mosses.

Important Dates (Deadline extensions in red)

February 8, 2009 Abstract submission due
February 15, 2009 Technical paper submissions due
March 15, 2009 CALCO-tools: Software and paper submissions due
April 22, 2009 Author notification
May 8, 2009 CALCO-jnr: Deadline for 2-page abstract submission
May 22, 2009 Camera ready due
CALCO-jnr: Notification of abstract selection decision
June 15, 2009 CALCO-jnr: Final version of abstract due
September 6, 2009 CALCO-jnr, CALCO Young Researchers Workshop
CALCO-tools, CALCO Tools Workshop
September 7-10, 2009 CALCO technical programme
September 10, 2009 Symposium in honor of Peter Mosses
October 20, 2009 CALCO-jnr: Deadline for 10-15 page paper submission
December 20, 2009 CALCO-jnr: Notification of paper selection decision
January 20, 2010 CALCO-jnr: Final version of paper due

More Information

http://www.dimi.uniud.it/calco09/