5th Conference on Algebra and Coalgebra in Computer Science