Le blog de Yves.Ledru

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.

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.

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

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.

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.

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.

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.

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

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.

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