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.
Où et quand
le 18 mars 2019 à l'auditorium Marie-Curie du CNRS