A la Une

Ouverture des journées 2023 et programme

Portrait de Yves.Ledru
Soumis par Yves.Ledru le 5 Juin, 2023 - 16:22

Les journées nationales GPL 2023 ont été ouvertes ce 5 juin 2023 à Rennes par leurs organisateurs : Djamel-Eddine Khelladi et Olivier Barais.

Journées nationales 2023

Portrait de Yves.Ledru
Soumis par Yves.Ledru le 16 Janvier, 2023 - 11:34

Les prochaines journées nationales du GDR GPL auront lieu à Rennes du 5 au 9 juin 2023 (https://gdrgpl2023.sciencesconf.org/), co-localisées avec la conférence internationale ICT4S (https://conf.researchr.org/home/ict4s-2023) ainsi que AFADL2023.

Prospective 2024-2030 du GDR GPL

Portrait de Yves.Ledru
Soumis par Yves.Ledru le 13 Juin, 2022 - 18:06

A la demande du CNRS, le Conseil Scientifique et le Bureau du GDR GPL ont préparé un document synthétique de prospective qui identifie les évolutions significatives de notre discipline, les thématiques émergentes, les enjeux sociétaux et les relations du GDR avec les autres disciplines (de l'INS2I et au-delà).

Ce document est disponible ici.

Retour sur les journées nationales GPL2022

Portrait de Yves.Ledru
Soumis par Yves.Ledru le 13 Juin, 2022 - 17:58

Les 13es Journées Nationales du GDR GPL se sont tenues à Vannes, dans les locaux de l'ENSIBS, du 7 au 10 juin 2022. Elles ont réuni près de 130 personnes et étaient colocalisées avec AFADL et CAL.

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

Trouver une thèse en Génie Logiciel - Finding a PhD thesis in Software Engineering

(une traduction française apparait à la fin de ce message)

For those of you looking for a PhD thesis in Software Engineering and Programming, the members of the GDR GPL usually advertise their PhD subject proposals in the GDR GPL mailing list (gdr.gpl).

You must register to the list in order to access its contents. In order to do so, you should visit the following URL:

Nouveau Logo du GDR GPL

Le CNRS souhaite assurer une identité visuelle commune à tous les GDRs.

Voici donc le nouveau logo du GDR GPL.

Prochains événements organisés ou soutenus par le GDR GPL

Prochains événements organisés par le GDR GPL Date
Journées nationales 2023 Lundi, 5 Juin, 2023 to Vendredi, 9 Juin, 2023
L'édition 2023 de l'école d’été Green IT - Numérique Responsable Lundi, 19 Juin, 2023 to Vendredi, 23 Juin, 2023
EJCP 2023 Lundi, 3 Juillet, 2023 to Vendredi, 7 Juillet, 2023

Cliquez ici pour la liste complète des événements soutenus par le GDR GPL

Bienvenue sur le site du GDR GPL

Le GDR GPL (Groupement de Recherche Génie de la Programmation et du Logiciel) est une unité de l'INS2I du CNRS qui regroupe la communauté scientifique française intéressée par le Génie Logiciel et la Programmation.

Vous trouverez sur ce site les dernières actualités relatives au GDR GPL :

Conférence invitée de Jean Jouzel

Portrait de Yves.Ledru
Soumis par Yves.Ledru le 8 Juin, 2023 - 16:34

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 seront bientôt disponibles ici.

Galette saucisse et spectacle

Portrait de Yves.Ledru
Soumis par Yves.Ledru le 7 Juin, 2023 - 23:45

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.

AG 2023 du GDR GPL

Portrait de Yves.Ledru
Soumis par Yves.Ledru le 7 Juin, 2023 - 23:44

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.

 

Prix du meilleur poster des journées GPL 2023

Portrait de Yves.Ledru
Soumis par Yves.Ledru le 7 Juin, 2023 - 23:42

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.

Conférence de Sandrine Blazy, médaille d'argent du CNRS 2023

Portrait de Yves.Ledru
Soumis par Yves.Ledru le 7 Juin, 2023 - 23:25

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.

Conférence invitée de Sébastien Bardin

Portrait de Yves.Ledru
Soumis par Yves.Ledru le 7 Juin, 2023 - 12:41

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.

Dîner de gala GPL 2023

Portrait de Yves.Ledru
Soumis par Yves.Ledru le 7 Juin, 2023 - 12:36

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.

Prix de thèse GPL2022

Portrait de Yves.Ledru
Soumis par Yves.Ledru le 6 Juin, 2023 - 19:45

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.

Nouvelles du CNRS

Portrait de Yves.Ledru
Soumis par Yves.Ledru le 6 Juin, 2023 - 11:37

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.

Conférence invitée de Hugues Ferreboeuf

Portrait de Yves.Ledru
Soumis par Yves.Ledru le 6 Juin, 2023 - 11:29

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.

S'abonner à GDR GPL RSS