Bienvenue

Villa Clythia

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).

Format et déroulement

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. Ce format devrait permettre à chacun et chacune de pouvoir découvrir et se familiariser avec de nouveaux sujets, et approfondir sa propre spécialité.

Ces échanges étant particulièrement profitables aux jeunes chercheuses et chercheurs (doctorat, postdoctorat, ATER), nous les encourageons vivement à soumettre un résumé de leurs travaux.

Le programme comporte également du temps pour les échanges informels.

Orateurs Invités

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

Voir les titres et résumés.

Session Outils

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

Bring your own Badge (BYOB)

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 !

Inscriptions

Les inscriptions sont closes.

Appel à soumissions

Les soumissons sont closes.

Dates importantes

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

Comité de Programme

Personnes connectées : 2 Vie privée
Chargement...