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'agendaJourné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.
Ecole d'été 2024 du GDR
Pour sa 9e édition, l'école d'été du GDR se tiendra de nouveau à Bourges. Elle aura lieu du 15 au 19 juillet 2024, et est gratuite, la pension complète étant assurée par le GDR. Seul le transport restera à la charge de votre laboratoire. Vous trouverez ci-dessous quelques informations données par les organisateurs