Proceedings of the BCS-FACS 7th conference on Refinement