Le blog de Yves.Ledru

La version finale des actes des journées nationales est disponible ici. Ils comprennent également des articles présentés à AFADL et CIEL.

La session "posters et démo" a été organisée par Frédéric Dadeau. Elle a utilisé le logiciel gather.town pour permettre à chacun de s'intéresser aux posters de son choix.

La liste des posters et démos est disponible ici.

Pour la conférence invitée de ce mercredi, nous avons accueilli Patricia Bouyer-Decitre, Directrice de Recherche au Laboratoire de Méthodes Formelles de l'ENS Paris-Saclay. Son exposé était intitulé "De l'analyse automatique de systèmes temporisés au contrôle de systèmes dynamiques".

Ses transparents sont disponibles ici.

Catherine Dubois et Mireille Blay ont fait le point sur  l'évolution du GDR GPL et ses nouvelles actions, à l'occasion de son renouvellement par le CNRS.

Leurs transparents sont disponibles ici.

Les lauréats du Prix de thèse GPL 2020 ont été invités à présenter leurs travaux lors des journées nationales 2021. Le jury du prix de thèse 2020 était présidé par Pascale Le Gall et Pascal Poizat.

Le Prix de thèse 2020 a été attribué à Benjamin Farinier pour sa thèse intitulée "Procédures de décision pour l'analyse de vulnérabilités", réalisée au CEA LIST sous la direction de Marie-Laure Potet et Sébastien Bardin.

Nous avons accueilli Adeline Nazarenko, Directrice Adjointe Scientifique à l'INS2I.

Elle nous a présenté les actions en cours à l'INS2I et rappelé les missions des GDR et leur complémentarité avec les UMR.

Ses transparents sont disponibles ici.

Le programme des journées nationales 2021 est disponible sur le site des journées 2021:

https://gdr-gpl-2021.sciencesconf.org/program

Vous le trouverez également en PDF ici .

Tegawandé BISSYANDE (Université du Luxembourg) a donné le premier exposé invité des journées GPL 2021:

"Réparation Automatique des Logiciels: le Rêve et la Fantaisie"

Ses transparents sont disponibles ici (12Mb).

Les journées GPL 2021, en distanciel, ont été ouvertes ce lundi 14 juin 2021 par Mireille Blay et Catherine Dubois.

Leurs transparents sont disponibles ici.

Les journées nationales du GDR GPL se dérouleront en virtuel du 14 au 18 juin 2021. Elles seront colocalisées avec AFADL, CIEL et l'EJCP.

Le site des journées est à l'URL suivant :

https://gdr-gpl-2021.sciencesconf.org/