Les journées 2022 du Groupe de Travail “Méthodes Formelles pour la Sécurité” auront lieu du 21 au 23 mars 2022 à la Villa Clythia à Fréjus.

Les journées du Groupe de Travail “Méthodes Formelles pour la Sécurité”
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.

En 2022 les journées du GT MFS passent sur un nouveau format de trois
jours. Le programme comporte à la fois des exposés invités introductifs
destinés à un public large, ainsi que des exposés plus courts visant à
présenter des travaux de recherche récents sur des sujets plus pointus,
et également du temps pour les échanges informels.

Programme
Le programme préliminaire est disponible en ligne :
https://gtmfs2022.sciencesconf.org/program

Appel à Participation
Les inscriptions sont ouvertes et se font via la page web :
https://gtmfs2022.sciencesconf.org/

Dates importantes
– 16/02/2022 : Date limite pour les inscriptions
– 21-23/03/2022 : Journées du GT MFS

The 2022 edition of the Working Group (GT) “Formal Methods for
Security” will take place from March 21 to 23 at Villa Clythia in Fréjus.

The annual meeting of the Working Group (GT) “Formal Methods for
Security” aims to allow everybody in the formal methods community
interested by applications linked to security to meet and discuss around
these subjects. The meeting welcomes presentations by researchers,
practitioners and PhD students.

In 2022 the meeting changes for a new three-day format. The program
contains both invited introductory talks suitable for a large audience,
as well as shorter contributed talks presenting works on more
specialized subjects, and – last but not least – time for informal
meetings and discussions.

Invited speakers (to be completed)
– Bruno Blanchet (INRIA Paris)
– Sandrine Blazy (IRISA, Rennes)
– Pierre-Yves Strub (Meta, France)

Program
The preliminary program is available online:
https://gtmfs2022.sciencesconf.org/program

Call for participation
Registration is now open, please see the web page:
https://gtmfs2022.sciencesconf.org/

Important Dates
– 16/02/2022: Registration Deadline
– 21-23/03/2022: Date of the meeting