Diagrammatic representation and inference : 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012, Proceedings (2012)