A comprehensive collection from the first International Conference on Algebra and Coalgebra in Computer Science, presenting advanced research on algebraic structures, coalgebraic modeling, state‑based systems, bisimulation, and formal verification techniques developed during CALCO 2005.