Le programme INCA rend les méthodes formelles accessibles à toutes les entreprises qui développent du code.
Lire la suite
Le CEA-List s’est fixé comme objectif de rendre possible la programmation des futurs ordinateurs quantiques, en faisant le lien entre applications, algorithmes et matériel quantique.
Lire la suite
Le déploiement de la robotique intelligente repose sur la capacité à réutiliser et à adapter facilement ses fonctionnalités sur de nouveaux systèmes et dans de nouveaux contextes.
Lire la suite