GTMFS 2026 : 2026 Annual Meeting of the WG "Formal Methods in Security"
23-27 mars 2026
42 Rue de la Lanne - Luz-Saint-Sauveur (France)
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 24 to 26 (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 (Loria, Inria Nancy) and Basile Pesin (ENAC).
Discipline scientifique :
Informatique
Lieu de la conférence