Programme Official Springer Proceedings of INTERACT 2013