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

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.