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 everyone in the formal methods community interested in applications to security to meet and discuss these subjects. The meeting welcomes presentations by researchers, including PhD students and practitioners.

In 2025, the meeting will occur from March 17 to 21 at Le Mont-Dore, France, and is organized by Pascal Lafourcade (Université Clermont Auvergne) and Grégoire Menguy (CEA LIST).

• Submission deadline: January 10, 2025
• Subscriptions open: January 10, 2025
• End of the early subscriptions: February 15, 2025
• Subscriptions deadline: March 1, 2025

To be announced.

The social event will be a hike, so take hiking shoes. 

There is also a swimming pool and a sauna, so take your swimsuit.

• Clara Bertolissi (Aix-Marseille University)
• Sandrine Blazy (University of Rennes)
• Sylvain Boulmé (Verimag)
• Yannick Chevalier (Toulouse University)
• Stephanie Delaune (CNRS)
• Aymeric Fromherz (INRIA)
• Charlie Jacome (INRIA)
• Tamara Rezk (INRIA)
• Alix Trieu (ANSSI)