CALCO 2005 First Conference on Algebra and Coalgebra in Computer Science