Date: 17 January 2020
Event: CETIC talks ⊕
Cloudel aims to develop and test a rigorous methodology to build correct-by-construction cloud applications using model-driven engineering and formal methods.
Inria and CETIC put together their forces and created an associate team to work on this project.
The first meeting will take place at Inria, Lille .