Date : Du 17 mars 2025 au 19 mars 2025 - Lieu :Mont-Dore (France) GTMFS 2025 "Formal Methods in Security" URL : https://gtmfs2025.sciencesconf.org/

La réunion annuelle du GT MFS est organisée par le Groupe de Travail (GT) « Méthodes Formelles pour la Sécurité » (MFS) du GDR Sécurité Informatique. Son objectif est de permettre à tous les membres de la communauté des méthodes formelles intéressés par les applications à la sécurité de se rencontrer et de discuter de ces sujets. La réunion accueille des présentations de chercheurs, y compris de doctorants et de praticiens.

En 2025, la réunion aura lieu du 18 au 20 mars (avec la possibilité de venir la veille et de repartir le lendemain). Elle aura lieu au Mont-Dore, en France, et est organisée par Pascal Lafourcade (Université Clermont Auvergne) et Grégoire Menguy (CEA LIST).