Proceedings of the 2nd international conference on Algebra and coalgebra in computer science