Conférence francophone sur le thème de la sécurité de
l'information.
Elle se déroulera
à Rennes du 4 au 6 juin 2025.
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.