Chaque année le GT méthodes formelles pour la sécurité organise une journée scientifique ainsi qu’une demi journée en marge des journées nationales du Pré-GdR Sécurité informatique. De plus, des journées thématiques sont parfois organisées conjointement avec d’autres GTs.
- Journées au Village Vacances La Prade Haute au Mont Dore (Auvergne) organisées par Grégoire Menguy et Pascal Lafourcade, 17-21 mars 2025
- Journées au centre de vacances La Vieille Perrotine du CNRS (Île d’Oléron) organisées par Adrien Koutsos et Lesly-Ann Daniel, 3-5 avril 2024
- Journées à la Station Biologique de Roscoff du CNRS organisées par Charlie Jacomme et Joseph Lallemand, 28-30 mars 2023
- Journées à la Villa Clythia du CNRS à Fréjus organisées par Sébastien Bardin et Jannik Dreier, 21-23 mars 2022.
- Journée organisée en ligne par Sylvain Boulmé, 16 mars 2021.
- Journée organisée au LIP6 (Campus de Jussieu) par Damien Couroussé et Karine Heydemann, 30 janvier 2020.
- Journée organisée au siège du CNRS (Paris Michel-Ange) par Pierre-Yves Strub, 18 mars 2019
- Journée « Protection du code et des données, obfuscation & whitebox cryptography » organisée conjointement avec le GT Sécurité et données multimédia par Sébastien Bardin et Caroline Fontaine, 13 décembre 2018.
- Demi journée organisée à Jussieu (Paris 6) par Tamara Rezk, 30 mai 2018
- Journée organisée à Cachan par David Baelde, 7 février 2018
- Demi journée organisée au siège du CNRS (Paris Michel-Ange) par Sébastien Bardin et Stéphanie Delaune, 30 mai 2017
L'édition 2025 des
journées du GT a lieu au Village Vacances La Prade Haute au Mont Dore (Auvergne)