2nd Conference on Algebra and Coalgebra in Computer Science