6th Refinement Workshop by David Till