gdr-secu-jn2025 : Journées Nationales 2025 du GDR Sécurité Informatique
23-25 juin 2025 Caen (France)
FR
EN
Connexion
Mot de passe oublié ?
Créer un compte
Navigation
Accueil
Programme
Speed mentoring
Inscription
Sponsors
Plan d'accès
Organisation
SUPPORT
@ Contact
Programme
Semaine
Lun. 23
Mar. 24
Mer. 25
Liste
lundi 23 juin 2025
›
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
›11:30 (1h15)
Déjeuner
› Hall
11:30 - 12:45 (1h15)
Déjeuner
Hall
›12:45 (15min)
Accueil
› Amphi 500
12:45 - 13:00 (15min)
Accueil
Amphi 500
›13:00 (1h)
Keynote - Sandrine Blazy
› Amphi 500
13:00 - 14:00 (1h)
Keynote - Sandrine Blazy
Amphi 500
›14:00 (45min)
Prix de thèse
14:00 - 14:45 (45min)
Prix de thèse
›14:45 (30min)
Pause café
› Hall
14:45 - 15:15 (30min)
Pause café
Hall
›15:15 (45min)
Plénière - José Lopes Esteves
15:15 - 16:00 (45min)
Plénière - José Lopes Esteves
›16:00 (45min)
Plénière - Stéphanie Delaune
› Amphi 500
16:00 - 16:45 (45min)
Plénière - Stéphanie Delaune
Amphi 500
› Formal verification of security protocols: the Squirrel prover
- Stéphanie Delaune, Institut de Recherche en Informatique et Systèmes Aléatoires
16:00-16:45 (45min)
›16:45 (15min)
Mini pause
› Hall
16:45 - 17:00 (15min)
Mini pause
Hall
›17:00 (1h30)
Assemblée générale
› Amphi 500
17:00 - 18:30 (1h30)
Assemblée générale
Amphi 500
Session
Discours
Logistique
Pause
Sortie
Personnes connectées :
2
Vie privée
|
Accessibilité
Chargement...