Journée 2020 du Groupe de Travail Méthodes Formelles pour la Sécurité du GdR Sécurité Informatique
La journée a pour objectif de permettre aux personnes de la communauté des méthodes formelles intéressées par les applications liées à la sécurité de se regrouper et d'échanger autour de ces thèmes. Elle comportera des exposés de chercheurs, d'industriels et de doctorants.
La participation à la journée est gratuite mais il est obligatoire de s'y inscrire avant le 15 janvier. Le nombre d'inscriptions est limité à 80 en raison de la capacité d'accueil de la salle.
Venir aux journées
La journée aura lieu le 30 janvier 2020 de 10h à 17h.
Lieu : Laboratoire d’Informatique de Paris 6 (LIP6) salle 105 25-26 – Campus de Jussieu. La salle 105 se situe au premier étage entre les tours 25 et 26.
BYOB – Bring Your Own Badge !
Pour simplifier l'organisation la journée et réduire les coûts d'organisation, nous avons décidé de fonctionner en mode écologique BYOB : Bring Your Own Badge !
Les inscriptions sont closes
Nous avons atteint le quota maximum d'inscriptions. Les inscriptions sont closes.
Le nombre d'inscriptions est limité à 80 en raison de la capacité d'accueil de la salle.
Comité d'organisation
Organisateurs de la journée
- Karine Heydemann − LIP6
- Damien Couroussé − CEA
Responsables du GT MFS
- Sébastien Bardin − CEA
- Stéphanie Delaune − IRISA
Contact
Vous pouvez contacter le comité d'organisation à cette adresse mail : orga.gtmfs2020@saxifrage.saclay.cea.fr