GT MFS 2023

28-30 mars 2023
Station Biologique de Roscoff - Roscoff (France)

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 community interested by applications linked to security to meet and discuss around these subjects. The meeting welcomes presentations by researchers, practicioners and PhD students.
Discipline scientifique :  Informatique - Cryptographie et sécurité

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