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é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'