University of Bologna has world-leading researchers in models and programming languages for service-oriented computing, microservices and cloud applications, with a specific emphasis on typing systems, process algebra and co-inductive techniques. Members of the University of Bologna site have been producing a great number of publications in top conferences (POPL, LICS, CONCUR, ICALP, ESOP). They also have been involved in top conferences as program committee members or chairs (CONCUR, ICALP) and in editorial boards of top journals (Logical Methods In Computer Science, Distributed Computing, Acta Informatica). Collaborations between University of Bologna and other BEHAPI partners are long-standing (e.g. In the context of the European Sensoria FP6 project with University of Leicester), have produced important results and publications in topics related to the ones described above, and are currently active.