logo de la conférence
Version française Version Anglaise selected Version espagnole

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

21-23 Mar 2022
Villa Clythia - Fréjus (France)

http://gtmfs2022.sciencesconf.org

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.
Scientific domain : Cryptography and Security - Logic in Computer Science - Performance and Reliability

Place of the conference
Online user: 44 |  Contact |  About |  RSS |  Privacy |  Accessibility 
Sitemap