GT MFS 2024
3-5 avr. 2024
La Vieille Perrotine, Village de Vacances du CAES du CNRS - Saint Pierre d’Oléron (France)
https://gtmfs2024.sciencesconf.org
The annual meeting of the GT MFS is organized by the Working Group (GT) "Formal Methods for Security" (MFS) of the GdR Sécurité Informatique. Its goal is to allow everybody in the formal methods and security communities, to meet and discuss around these topics. The meeting welcomes presentations by researchers, practitioners and PhD students.
Discipline scientifique :
Informatique - Cryptographie et sécurité
Lieu de la conférence