Le blog de Yves.Ledru

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.

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

L'école des Jeunes Chercheuses et Jeunes Chercheurs en Programmation, édition 2023, aura lieu à l'Esisar (Valence) du 3 au 7 juillet 2023.

Toutes les informations sont disponibles à l'URL suivant : https://gpl-ejcp.github.io/ejcp2023
 

Le lien pour s’enregistrer est là =>

Les prochaines journées nationales du GDR GPL se dérouleront du lundi 5 au vendredi 9 juin 2023 à Rennes et elles seront co-localisées avec AFADL 2023 et CAL2023.

       https://gdrgpl2023.sciencesconf.org/

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.

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.