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 2026, the meeting will occur from March 23 to 27 (with the possibility to come the day before and leave the day after). It will take place at Luz-Saint-Sauveur, France, and is organized by Alexandre Debant (Inria Nancy) and Basile Pesin (ENAC).

Submission deadline: January 16, 2026

Subscriptions open: January 10, 2026

End of the early subscriptions: TBA

Subscriptions deadline: TBA

TBA

The social event will either be a hike or a ski session depending on the weather. 

TBA