Le blog de Yves.Ledru

Les 14es Journées Nationales du GDR GPL se sont tenues à Rennes du 5 au 8 juin 2023 dans les locaux du "Pôle Numérique Rennes Beaulieu". Elles ont réuni près de 130 personnes et étaient colocalisées avec AFADL

Vous retrouverez ci-dessous toute l'information sur ces journées, leurs actes, les sessions invitées, les prix de la meilleure thèse 2022 et du meilleur poster/démo.

Les prochaines Journées Nationales du GDR GPL auront lieu à Strasbourg du 3 au 7 juin 2024.

Réservez ces dates dans vos agendas!

La version finale du programme des journées nationales GPL 2023 est disponible ici.

Les actes des journées sont disponibles ici.
 

La cinquième conférence invitée était partagée avec la conférence ICT4S. Elle était donnée par Jean Jousel (CEA, médaille d'or du CNRS 2002) et s'intitulait "Global warming : The need for a new model of development and the key role for higher education".

Ses transparents sont disponibles ici.

La soirée de ce mercredi a commencé au son du biniou, autour d'un food truck breton (c'est à dire qu'il prépare des crêpes et des galettes) et s'est poursuivie par un spectacle scientifique du groupe Disnovation.

L'AG annuelle du GDR GPL s'est tenue ce mercredi 7 juin. Elle était animée par les deux co-directrices du GDR. Leurs transparents sont disponibles ici.

Le jury, présidé par Nicolas Magaud a attribué le prix du meilleur poster des journées GPL 2023 à Mamy Razafintsialonina (CEA LIST) pour son poster intitulé

"Comment améliorer l'efficacité de l'analyse statique des programmes?"

Le poster est disponible ici.

La quatrième conférence invitée des journées GPL 2023 était donnée par Sandrine Blazy (Université de Rennes et IRISA), médaille d'argent 2023 du CNRS.

Son exposé était intitulé "How to provide proof that software is bug-free? Verified compilation to the rescue".

Ses transparents sont disponibles ici.

La troisième conférence invitée était donnée par Sébastien Bardin (CEA). Elle était intitulée "Revisiting Program Analysis through the Security Lens".

Ses transparents sont disponibles ici.

Le dîner de gala des journées GPL 2023 a eu lieu à "La Brasserie". La soirée était agrémentée par la performance musicale d'un trio de musiciens.