Le blog de Yves.Ledru

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.

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

Le prix de thèse GPL 2022 est attribué à Paulo Emilio de Vilhena pour sa thèse intitulée "Preuve de programmes avec effect handlers".

Ses transparents sont disponibles ici.

Nous avons accueilli Olivier Serre, Directeur Scientifique Adjoint de l'INS2I pour la section 6.

Il nous a présenté le processus de recrutement des chercheurs permanents, les actions en cours à l'INS2I et rappelé les missions d'un GDR.

Ses transparents sont disponibles ici.

La deuxième conférence invitée était partagée avec la conférence ICT4S. Nous avons accueilli Hugues Ferreboeuf (The Shift Project).

Son exposé était intitulé "Sustainable Digitalization: Why we need to shift away from Big Tech business models". Ses transparents sont disponibles ici.

La première conférence invitée de ces journées GPL 2023 est présentée par Benoit Baudry (Professeur au KTH Royal Institute of Technology, Stockholm) et intitulée "The Software Supply Chain". Les transparents de cette conférence sont disponibles ici.