CALCO'07

2nd Conference on Algebra and Coalgebra in Computer Science

August 20-24, 2007, Bergen, Norway

CALCO 2007

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 very successful, CALCO conference took place 2005 in Swansea, Wales.

The second event will take place 2007 in Bergen, Norway.

CALCO 2007 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.

The CALCO-tools workshop will provide the opportunity to give system demonstrations.

There will be separate submission procedures for CALCO-jnr and CALCO-tools, respectively.

Important Dates (deadline extensions in red)

February 7 Abstract submission due
February 17 Technical paper submissions due
February 24 CALCO-tools: Software and paper submissions due
March 28 Author notification
April 10 CALCO-jnr: Firm deadline for 2-page abstract submission
April 30 CALCO-jnr: Notification of abstract selection decision
May 16 Camera ready due
CALCO-jnr: Final version of abstract due
Early registration deadline

July 1 Registration deadline, hotel registration deadline.
After this date late registration prices take effect,
and it may become very difficult to find hotel rooms

August 20 CALCO-jnr, CALCO Young Researchers Workshop
CALCO-tools, CALCO Tools Workshop
August 21-24 CALCO technical programme
August 24 Post-conference meetings

September 30 CALCO-jnr: Firm deadline for 10-15 page paper submission
November 30 CALCO-jnr: Notification of paper selection decision
January 5, 2008 CALCO-jnr: Final version of paper due

More Information

http://www.ii.uib.no/calco07/