gdr-gpl-2022 : Journées nationales du GDR GPL 2022
7-10 juin 2022 Vannes (France)
Une intervention sur le serveur d’authentification est programmée jeudi 13 mars entre 11h30 et 13h.
Elle peut occasionner des problèmes de connexion sur Sciencesconf.
Connexion
Mot de passe oublié ?
Créer un compte
Accueil
Programme
Informations inscription
Inscription
Sponsors
Plan d'accès
Programme
Semaine
Mar. 07
Mer. 08
Jeu. 09
Ven. 10
Liste
‹
jeudi 9 juin 2022
›
08:00
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
›8:30 (30min)
Accueil
8:30 - 9:00 (30min)
Accueil
›9:00 (1h30)
Invité
Gwen Salaün
› Amphithéatre ENSIBS
9:00 - 10:30 (1h30)
Invité
Amphithéatre ENSIBS
Gwen Salaün
›
Modelling, analysis and optimisation of BPMN processes
- Gwen Salaün, Laboratoire d'Informatique de Grenoble
09:00-10:30 (1h30)
›10:30 (30min)
Pause café
10:30 - 11:00 (30min)
Pause café
›11:00 (1h30)
AFADL
Vérification de systèmes (Chair : Aurélie Hurault)
› Amphithéatre ENSIBS
11:00 - 12:30 (1h30)
AFADL
Amphithéatre ENSIBS
Vérification de systèmes (Chair : Aurélie Hurault)
›
Etude comparative des méthodes pour la vérification des systèmes cyber-physiques basés machine learning
-
11:00-11:20 (20min)
›
Vérification formelle d'une carte à puce pour une certification Critères Communs
-
11:30-11:50 (20min)
›11:00 (1h30)
Atelier Practical Debugging
Steven Costiou
› D010
11:00 - 12:30 (1h30)
Atelier Practical Debugging
D010
Steven Costiou
›
Practical Debugging: a hands on tutorial with Pharo
- Maximilian Ignacio Willembrinck Santander, CRIStAL - Steven Costiou, CRIStAL
11:00-12:30 (1h30)
›11:00 (1h30)
Atelier Dissémination
Mathieu Acher
› A105
11:00 - 12:30 (1h30)
Atelier Dissémination
A105
Mathieu Acher
›
Dissémination en science du logiciel
-
11:00-12:30 (1h30)
›12:30 (1h30)
Déjeuner
12:30 - 14:00 (1h30)
Déjeuner
›14:00 (1h30)
Session AFADL & LVP
Alain Giorgetti et Julien Signoles
› Amphithéatre ENSIBS
14:00 - 15:30 (1h30)
Session AFADL & LVP
Amphithéatre ENSIBS
Alain Giorgetti et Julien Signoles
›
Knit&Frog: Pattern matching compilation for custom memory representations
- Thaïs Baudon, Laboratoire de l'Informatique du Parallélisme
14:00-14:30 (30min)
›
Typage avancé de langages dynamiques
- Mickaël Laurent, Université Paris Cité
14:30-15:00 (30min)
›
Vérification de l'algorithme de calcul des ordres d'appel dans Parcoursup
- Hugo Gimbert, Laboratoire Bordelais de Recherche en Informatique
15:00-15:30 (30min)
›14:00 (1h30)
Session GT IE & AFSEC
Régine Laleau
› D010
14:00 - 15:30 (1h30)
Session GT IE & AFSEC
D010
Régine Laleau
›
Automatic Support for Requirements Validation
- Rabéa Ameur-Boulifa, Télécom Paris
14:00-14:45 (45min)
›
Couplage des approches MBSE et MDAO pour le dimensionnement d'une batterie de drone
- Ombeline Aïello, Institut Supérieur de lÁéronautique et de lÉspace, DTIS, ONERA [Toulouse]
14:45-15:30 (45min)
›15:30 (30min)
Pause café
15:30 - 16:00 (30min)
Pause café
›16:00 (1h30)
AFADL
Systèmes temporisés (chair : Akram Idani)
› Amphithéatre ENSIBS
16:00 - 17:30 (1h30)
AFADL
Amphithéatre ENSIBS
Systèmes temporisés (chair : Akram Idani)
›
Étude de propriétés d'opacité temporisée à l'aide de vérification temporisée paramétrée
- Dylan Marinho, Laboratoire Lorrain de Recherche en Informatique et ses Applications
16:00-16:20 (20min)
›
Illustration de spécifications temporisées paramétrées sur des signaux continus
- Etienne André, Laboratoire Lorrain de Recherche en Informatique et ses Applications
16:30-16:50 (20min)
›16:00 (1h30)
Session GT IE & AFSEC
Régine Laleau
› D010
16:00 - 17:30 (1h30)
Session GT IE & AFSEC
D010
Régine Laleau
›
Spécification formelle de systèmes cyber-physiques et Ingénierie système assistée par la simulation
- Thuy Nguyen, EDF
16:00-16:45 (45min)
›17:30 (1h)
AG
Mireille Blay-Fornarino & Catherine Dubois
› Amphithéatre ENSIBS
17:30 - 18:30 (1h)
AG
Amphithéatre ENSIBS
Mireille Blay-Fornarino & Catherine Dubois
Session
Discours
Logistique
Pause
Sortie
Personnes connectées :
1
Vie privée
|
Accessibilité
Chargement...