- Journées nationales du pré-GDR : Le Pré-GDR Sécurité Informatique organise ses journées nationales du 30 mai au 1er juin 2018 à Sorbonne Universités, Paris, site de Jussieu. Une demi journée « méthodes formelles pour la sécurité » est également organisée à cette occasion par Tamara Rezk.
- La première édition des journées du GT Méthodes Formelles pour la Sécurité a eu lieu à l’ENS Paris-Saclay (Cachan) le mercredi 7 février 2018.
- École d’été International Summer School on Information Security and Protection : Le CEA LIST a organisé du 17 au 21 juillet 2017 une école d’été centrée sur la protection et la sécurité de l’information à Gif sur Yvettes.
- École d’été Models and Tools for Cryptographic Proofs : L’université de Bristol en collaboration avec l’Inria et le LORIA ont organisé du 10 au 13 juillet 2017 une école d’été sur la vérification formelle de protocoles de sécurité à Nancy.
- Journées nationales du pré-GDR : Le Pré-GDR Sécurité Informatique a organisé ses premières journées nationales du 30 mai au 1er juin 2017 au siège du CNRS à Paris. Une demi journée « méthodes formelles pour la sécurité » a été organisée à cette occasion.
Responsables du GT
- - Sébastien Bardin,
Chercheur au CEA/LIST. - - Jannik Dreier,
MdC à l'Université de Lorraine.
Celle-ci a eu lieu du 8 au 12 février 2021.
- - Sébastien Bardin,
L'édition 2024 des
journées du GT
a lieu au centre de vacances La Vieille Perrotine du CNRS à l'Île d'Oléron