Date: 17 janvier 2020
Evènement: Interventions CETIC ⊕
Le projet Cloudel vise à développer et tester une méthodologie rigoureuse pour construire des applications cloud correctes par construction en utilisant une ingénierie dirigée par les modèles et des méthodes formelles.
Inria et le CETIC ont rassemblé leurs forces et créé une équipe associée pour travailler sur ce projet.
La première réunion aura lieu à Lille dans les locaux de Inria.