CALCO 2005 1st Conference on Algebra and Coalgebra in Computer Science