Conférence francophone sur le thème de la sécurité de
l'information.
Elle se déroulera
à Rennes du 3 au 5 juin 2026.
Charles Hymans, chercheur au centre de recherche d'EADS, travaille sur la vérification automatique de programmes pour l'embarqué. Il a effectué sa thèse sur la vérification formelle de descriptions matérielles.