La journée a 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. Elle comportera des exposés de chercheurs, d'industriels et de doctorants.

Le programme est disponible ici. Les slides des présentations sont disponibles à partir du programme.

La participation à la journée est gratuite mais il est obligatoire de s'y inscrire avant le 04 mars, dans la limite de 90 personnes.

• le 18 mars 2019 à l'auditorium Marie-Curie du CNRS
  • voir le programme.
• 3 rue Michel-Ange - 75016 Paris

• Organisateur de la journée
  • Pierre-Yves Strub (pierre-yves.strub@polytechnique.edu)
• Responsables du groupe de travail MFSec
  • Sébastien Bardin (sebastien.bardin@cea.fr)
  • Stéphanie Delaune (Stephanie.Delaune@irisa.fr)