The team addresses the general problem of developing and evolving software by new concepts, languages, implementations and tools for building software for large-scale, mostly distributed software systems, notably the Cloud. Its long term goal is the development of new abstractions for the programming of software architectures, their representation in terms of expressive programming languages, and their correct and efficient implementation.

• compositional definition and implementation of complex software systems
• Programming techniques and algorithms for resource management in mutualized environments
• Formal theories for and apply formal methods to the correctness of software systems
• Enterprise information systems, the Cloud, and pervasive systems