Le blog de Yves.Ledru

Conférence Invitée : Patricia Bouyer-Decitre

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.

AG2021 du GDR GPL

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.

Prix de thèse GPL 2020

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.

Nouvelles du CNRS

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.

Programme des Journées Nationales 2021

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 .

Conférence Invitée : Tegawandé BISSYANDE

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).

Ouverture des journées nationales 2021

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.

Journées GPL 2021 en virtuel

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/

Inscriptions aux journées GPL 2021

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 :

Lancement du GT GLIA

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

Pages

S'abonner à RSS - Le blog de Yves.Ledru