Les journées GT MFS sont organisées annuellement par le Groupe de Travail "Méthodes Formelles pour la Sécurité" du GdR Sécurité Informatique. Elles 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.

Les journées 2022 auront lieu du 21 au 23 mars (arrivée le 20 au soir et départ le 24 au matin possible) à la Villa Clythia et sont organisées par Sébastien Bardin (CEA) et Jannik Dreier (LORIA, Université de Lorraine).

• Bruno Blanchet (INRIA Paris)
• Sandrine Blazy (IRISA, Rennes)
• Pierre-Yves Strub (Meta, France)
• Aurélien Francillon (EURECOM)

Voir les titres et résumés.

Une session outils permettra de présenter et d'échanger informellement autour des différents outils développés par la communauté sous un format "session poster". Pour présenter un outil, merci de contacter les organisateurs à gtmfs2022-tools@sciencesconf.org

Pour simplifier l'organisation la journée et réduire les coûts d'organisation, nous avons décidé de fonctionner en mode écologique BYOB : Bring Your Own Badge !

Les inscriptions sont closes.

Les soumissons sont closes.

• 23/01/2022 16/01/2022 Date limite pour les soumissions
• 07/02/2022 Notifications
• 16/02/2022 Date limite pour les inscriptions

• Bruno Blanchet, INRIA Paris
• Caroline Fontaine, LSV, CNRS
• Benjamin Grégoire, INRIA Sophia Antipolis
• Thomas Jensen, INRIA Rennes
• Jean-Yves Marion, LORIA, Université de Lorraine
• Vincent Nicomette, LAAS, INSA Toulouse
• Marie-Laure Potet, VERIMAG, Université Grenoble Alpes