Journée 2021 du Groupe de Travail Méthodes Formelles pour la Sécurité du GdR Sécurité Informatique
16-16 mars 2021
- Télé-conférence (France)
https://gtmfs2021.sciencesconf.org
La journée a 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. Elle comportera des exposés de chercheurs, d'industriels et de doctorants.
Discipline scientifique :
Informatique
Lieu de la conférence