Passer vers le contenu
Groupe de Travail: Méthodes formelles pour la sécurité
Passer vers le contenu
  • Thématique
  • Membres
  • Journées scientifiques
Home Journées scientifiques

Journées scientifiques

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 à 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

Les commentaires sont clos.

  • Responsables du GT

           
    • - Sébastien Bardin,
          Chercheur au CEA/LIST.
    • - Jannik Dreier,
         MdC à l'Université de Lorraine.
    L'édition 2020 de l'école d'été du GdR Sécurité Informatique était sur le thème "méthodes formelles pour la sécurité".
    Celle-ci a eu lieu du 8 au 12 février 2021.

  • Un groupe de travail du GDR


    L'édition 2022 des journées du GT a lieu à la Villa Clythia du CNRS à Fréjus

    du 21 au 23 mars 2022.


This text can be changed from the Miscellaneous section of the settings page.
Lorem ipsum dolor sit amet, consectetur adipiscing elit, cras ut imperdiet augue.
Fonctionne avec Nirvana & WordPress.