NOVA Laboratory for Computer Science and Informatics, a research unit of the NOVA School of Science and Technology, participates with the software systems group. The group aggregates expertise on programming languages, environments, and tools to increase the reliability, flexibility, expressiveness and trustworthiness of modern software systems and services. Specific themes include language-based approaches to concurrency, security, resource control and modularity. Examples of high impact results include logics for modelling and checking spatially distributed programs (e.g. With Microsoft research), and core languages and types for software components and services (e.g., with Pisa and Carnegie-Mellon). Their results are published in top conferences (e.g., POPL, ESOP, CONCUR, ECOOP) and journals (e.g., SCP, JAR, I&C, TCS). They developed collaborations with many of the partners of this proposal (e.g., University of Malta, University of Glasgow), participating in joint research projects and publications. NOVA continues and strengthens collaborations, participating in WP2, WP3 AND WP4.