Le GT Méthodes formelles pour la sécurité du GDR Sécurité Informatique organise sa journée annuelle à Paris au LIP6, sur le campus de Jussieu, le jeudi 30 janvier 2020.
L’objectif est de permettre aux personnes de la communauté des méthodes formelles intéressées par les applications liées à la sécurité et aux personnes intéressées par ces thématiques de se regrouper et d’échanger.
Le programme de la journée est disponible sur le site web de l’évènement : https://gtmfs2020.github.io
L’inscription est gratuite mais obligatoire, et le nombre de participants est limité à la capacité de la salle d’accueil : il reste encore quelques places !
Pour accéder directement au formulaire d’inscription c’est ici : https://framaforms.org/gtmfs2020-inscription-1571751401
Karine Heydemann et Damien Couroussé (organisateurs)
Sébastien Bardin et Stéphanie Delaune (responsables du GT)
Contact : orga.gtmfs2020@saxifrage.cea.fr
Site du GDR Sécurité Informatique : https://gdr-securite.irisa.fr