GT MFS 2023
28-30 Mar 2023
Station Biologique de Roscoff - Roscoff (France)
https://gtmfs2023.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 community interested by applications linked to security to meet and discuss around these subjects. The meeting welcomes presentations by researchers, practicioners and PhD students.
Scientific domain :
Computer Science - Cryptography and Security
Place of the conference