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 University of Leicester and other BEHAPI partners go back to the 1990’s and are also ongoing (e.g., University of Kent, University of Buenos Aires). Those collaborations have already produced a great number of publications in top conferences (CONCUR, POPL, ESOP, TACAS) and will continue in the context of WP2, WP3, AND WP4. All work packages benefit from University of Leicester’s expertise in behavioural types, testing and software re-engineering. University of Leicester is collaborating with Xibis on applying choreographic approaches to SDLCs of distributed software.