University of Leicester has world-leading researchers in logical, algebraic, and co-algebraic techniques for specification, synthesis, behavioural types, semantic web, graph transformation, software re-engineering and testing of software-intensive systems. Collaborations between