Le blog de Yves.Ledru

Journées Nationales GPL2025

Les journées GPL 2025 auront lieu à Pau en juin 2025.

Nous vous donnerons des dates plus précises dès qu'elles seront connues.

Retour sur les journées nationales GPL 2024 (Strasbourg)

Les 15es Journées Nationales du GDR GPL se sont tenues à Strasbourg du 3 au 6 juin 2024. Elles ont réuni près de 120 personnes et étaient colocalisées avec AFADL.

Actes des journées nationales 2024

Les actes des journées nationales GPL2024 seront disponibles prochainement sur ce site.

D'ici là, une version provisoire est disponible ici.

 

Clôture des Journées Nationales 2024

Catherine Dubois a clôturé les journées nationales GPL2024 ce jeudi 6 juin.

Un grand merci aux organisateurs locaux : Nicolas Magaud, Arthur Charguéraud, Julien Narboux, Amélie Ledein, Pierre Boutry et leur équipe!

Un grand merci également à tous les membres du GDR qui ont participé à ces journées et à leur préparation.

Conférence invitée de Sophie Tourret

La troisième conférence invitée, partagée avec AFADL, était donnée par Sophie Tourret (LORIA)

Elle était intitulée "The How and Why of Higher-Order SMT for Prospective Users".

Ses transparents sont disponibles ici.

Soirée de gala à l'Art Café

La soirée de gala réunissait les participants à l'Art Café, sur la terrasse du musée d'art moderne qui offre une vue magnifique sur la ville de Strasbourg.

AG 2024 du GDR GPL

La troisième journée s'est terminée par l'AG du GDR GPL, animée par les co-directrices du GDR GPL.

Leurs transparents sont disponibles ici. On y annonce notamment le lieu des prochaines journées nationales et plusieurs actions en cours.

Prix du meilleur poster 2024

Une dizaine de posters ont été présentés lors de ces journées nationales 2024. Un jury présidé par Thomas Degueule a décerné le prix du meilleur poster à Selena Lamari (Université de Montpelier et Université de Blida (Algérie) pour son poster intitulé "Assistance à l’ingénierie de logiciels pour mieux protéger la vie privée des utilisateurs".

Conférence invitée de Mathieu Acher

La deuxième conférence invitée de ces journées GPL2024 était donnée par Mathieu Acher (Professeur à l'INSA Rennes).

Elle était intitulée "Deep Software Variability and Frictionless Reproducibility". Ses transparents sont disponibles ici.

Prix de thèse GPL2023

Le jury du prix de thèse du GDR GPL, présidé par Pascal Poizat, a attribué un prix de thèse et deux accessits.

Le prix de thèse GPL 2023 est attribué à Xavier Denis pour sa thèse intitulée "Deductive Verification for Rust Programs".

Pages

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