logo de la conférence
French version selectionnée English version Spanish version

Journées 2022 du GT "Méthodes Formelles pour la Sécurité", GdR Sécurité Informatique

21-23 mars 2022
Villa Clythia - Fréjus (France)

http://gtmfs2022.sciencesconf.org

Ces journées GT MFS sont organisées annuellement par le Groupe de Travail "Méthodes Formelles pour la Sécurité" du GdR Sécurité Informatique. Elles ont pour objectif de permettre aux personnes de la communauté des méthodes formelles intéressées par les applications liées à la sécurité de se regrouper et d'échanger autour de ces thèmes. Elles comportent des exposés de chercheurs, d'industriels et de doctorants. Les journées 2022 auront lieu du 21 au 23 mars à la Villa Clythia.
Discipline scientifique : Cryptographie et sécurité - Logique en informatique - Performance et fiabilité

Lieu de la conférence
Personnes connectées : 62 |  Contact |  À propos |  RSS |  Vie privée |  Accessibilité 
Sitemap