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.
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).
Soumis par Mireille.Blay le 11 Juin, 2021 - 15:16
Le programme des journées du GDR du 14 juin au 18 juin est en ligne.
Cette année, deux exposés invités :
Soumis par Mireille.Blay le 11 Juin, 2021 - 07:09
Suite à l'appel à défi en décembre 2019, vous trouverez dans Hal un document de synthèse sur les grands défis auxquels la communauté du GDR GPL s'intéresse actuellement et les descriptions plus étayées associées.
Pages
