See This page
I organize the VELVET days that will be held in Nantes on December 13 and 14. The subject of these days is the use of software engineering, languages and formal methods for configuration, reconfiguration and DevOps in distributed systems.