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
Prochains évènements
Retour à l'agendaRESSI 2024
Porté par le GT SSLR, RESSI (Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information) est un événement scientifique qui a pour objectif de regrouper et animer la communauté francophone de la recherche académique et industrielle ainsi que celle de l'enseignement relatifs à la sécurité des systèmes d'information.
Journées Nationales 2024 du GDR Sécurité Informatique
les prochaines Journées Nationales du GDR Sécurité Informatique, rassemblant l'ensemble des Groupes de Travail et donc l'ensemble des thématiques du GDR, auront lieu à Rennes, du 10 au 12 juin 2024. Le programme est encore en cours d'élaboration, et le site web n'est pas encore ouvert, mais vous pouvez d'ores et déjà noter ces dates si vous souhaitez y participer. Comme lors des éditions précédentes, vous y retrouverez des keynotes, des sessions thématiques mixant plusieurs groupes de travail, un exposé de REDOCS ainsi que du lauréat ou de la lauréate du prix de thèse, l'assemblée générale du GDR, etc.