Le blog de Yves.Ledru

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/

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.

L'inscription est gratuite mais obligatoire, pour nous permettre de dimensionner correctement les outils de visio-conférence. Le site d'inscription commun à ces événements est ouvert :

Le kick-off meeting du GT GLIA aura lieu le mercredi 14 avril 2021 de 14h à 17h. Nous ferons cette réunion en distanciel en utilisant BBBB:

https://bbb.lirmm.fr/b/dav-uyp-k7f

Afin de pouvoir échanger pendant notre réunion, nous avons également créé un Framapad disponible à l'adresse suivante :

https://mensuel.framapad.org/p/kickoff_glia-9muw?lang=fr