5th Conference on Algebra and Coalgebra in Computer Science, 3-6 September 2013, Warsaw, Poland