Le CEA-List a engagé un programme de recherche ambitieux pour soutenir le développement responsable de systèmes d’IA pour l’industrie et la société.
Lire la suite
Le programme INCA rend les méthodes formelles accessibles à toutes les entreprises qui développent du code.
Lire la suite
Lire la suite