Les journées (Approches Formelles pour l’Assistance au Développement de Logiciels) AFADL auront lieu les 2 et 3 juin à Lille, conjointement avec les journées du GDR SciLog du 1er au 4 juin 2026.
Le site de dépôt des soumissions à AFADL 2026 est ouvert (c’est ici) !
Les soumissions sont attendues pour le vendredi 3 avril (soumission des résumés le 27 mars.)
Toutes les informations sont sur le site :
Le GDR SciLog organise chaque année des journées nationales qui réunissent tous les acteurs du GDR.
Après Pau, cette année, les journées du journées du GDR SciLog auront lieu dans le Nord, à Lille du lundi 1er juin au jeudi 4 juin.
Avec le changement de nom du GDR, une nouvelle liste de diffusion a été créée :
annonces.gdr-scilog@groupes.renater.fr
Comme chaque année depuis 2013, nous lançons un appel à soumissions pour le prix de thèse du GDR Génie de la Programmation et du Logiciel (GPL), récemment renommé en GDR Sciences du Logiciel (SciLog).
Ce prix a pour objectif de promouvoir les travaux du GDR auprès de la communauté informatique, qu’ils soient fondamentaux ou appliqués. La remise du prix aura lieu en juin lors des prochaines journées nationales. Les thèmes scientifiques du GDR sont présentés dans les motivations et enjeux du GDR (https://gdr-gpl.cnrs.fr/?page_id=18) et développés dans le cadre des groupes de travail qui le composent (https://gdr-gpl.cnrs.fr/?page_id=27). Plus généralement il s’agit des enjeux associés aux sciences du logiciel.
Les candidatures sont à déposer d’ici le 16 mars sur le site
https://gdrgpl-prixthese2026.limos.fr/
qui ouvrira fin février.Les résultats seront notifiés le 22 mai.
Les thèses éligibles sont celles soutenues en 2025 dans une école ou université française. Toute candidature devra être explicitement soutenue par les encadrants de thèse affiliés à une équipe du GDR SciLog (ex-GPL). Un encadrant ne peut soutenir qu’une seule candidature.
La dossier de candidature est volontairement léger. Il consiste en un unique fichier pdf qui DEVRA comprendre :
Le dossier de candidature PEUT comprendre aussi, le cas échéant, et si l.a.e candidat.e le juge pertinent :
Les critères pris en compte par le jury sont notamment l’originalité, l’importance et l’impact de la production scientifique, ainsi que la qualité de la rédaction du manuscrit.
Sandrine Blazy
Présidente du jury
Deux soirées en ligne ont été organisées par Paul Temple et Catherine Dubois, les 17 et 19 novembre. Voici les notes prises pendant ces soirées:
Le GT Logiciel Eco-Responsable du GDR GPL organisera sa nouvelle journée d’étude le vendredi 23 janvier 2026, au LS2N à Nantes sur le site de la Faculté des Sciences et des Techniques de Nantes Université.
Nous aimerions lancer un appel à présentation et à idées au sein de la communauté, afin de mieux nous organiser et planifier cette journée.
Les objectifs de la journée sont :
Le programme est le suivant :
10:00 – 11:00 🇳🇱 June Sallou, Greening AI: Is it too complex? [Keynote]
11:00 – 11:30 🇫🇷 Adel Noureddine, Influencing end users’ behavior regarding software energy : insights from the Behave project
11:30 – 12:00 🇧🇪 Jérôme Maquoi, Energy Codesumption, Leveraging Test Execution for Source Code Energy Consumption Analysis
PAUSE DÉJEUNER
14:00 – 14:30 🇫🇷 Gerson Sunye, Chaînes d’approvisionnement de logiciels (Supply Chains) et l’impact sur le développement de logiciels éco-responsables
14:30 – 15:00 🇫🇷 Samuel Pelissier, Users Pay Twice: The Hidden Energy Cost of Web Advertising
15:00 – 15:30 🇫🇷 Lylian Siffre,Local Computing vs. Cloud Computing: An Empirical Study of Energy Consumption
15h30 – 16h00 : 🇧🇷 Daniel Cordeiro : Optimal sizing of a globally distributed low carbon cloud federation
16h00 – 16h20 🇫🇷 Olivier Le Goaër, Enseigner le logiciel éco-responsable : le cas du CMA Verdinum
Les pdf des présentations sont disponibles ici dans un zip (22Mb) :
Contacts: Olivier, Adel et Dalila.
La prochaine journée du groupe de travail MTV2 (Méthodes de test pour la validation et la vérification) du GDR GPL aura lieu le 11 décembre 2025 à Grenoble,
à l’IUT2, adresse : 2 Place Doyen Gosse 3800 Grenoble (à 2 minutes de la gare).
Elle sera organisée sur place par Yves Ledru, Sophie Dupuy-Chessa, Nicolas Hili, Yann Laurillau, Lydie du Bousquet et Gabriela Gonzalez-Saez.
Si vous êtes intéressés, merci de vous inscrire sur le lien suivant :
https://framadate.org/Hbcxcu2ARNLWJHjS
de préférence, avant le 7 novembre 2025.
en indiquant vos prénom, nom et affiliation, si vous participez, si vous prenez le déjeuner et, le cas échéant, si vous souhaitez proposer un exposé (si oui, merci d’envoyer rapidement le titre et le résumé aux animateurs du groupe MTV2 par mél).
L’inscription est gratuite mais obligatoire pour des raisons logistiques.
Merci de transmettre ce message aux collègues qui peuvent être intéressés et ne sont pas encore inscrits sur la liste. Le programme et les informations pratiques seront publiés sur la page du groupe MTV2 :
https://sites.google.com/view/gdr-gpl-mtv2/manifestations-mtv2/11-12-2025
Bien cordialement,
Les animateurs du groupe MTV2,
Nikolaï Kosmatov, Natalia Kushik, Pascale Le Gall, Antoine Rollet.
Les organisateurs locaux,
Yves Ledru, Sophie Dupuy-Chessa, Nicolas Hili, Yann Laurillau, Lydie du Bousquet, Gabriela Gonzalez-Saez.
La version finale des actes des journées nationales est disponible à l’url suivant : https://gdr-gpl.cnrs.fr/wp-content/uploads/2025/08/Actes_GDR_GPL_2025.pdf
Pour rappel, les actes d’AFADL2025 sont disponibles dans HAL : https://hal.science/hal-05106227
Les journées 2025 ont accordé beaucoup d’attention aux posters. Thomas Degueule était l’organisateur de la présentation des posters et du vote par les participants aux journées.
Outre la présentation des posters, chacun des auteurs a bénéficié de quelques minutes pour un “teasing” de son travail dans l’amphi.
Finalement, le prix du meilleur poster a été décerné à Meriem Smati pour son poster intitulé “The use of Digital Twins to Bolster the Resilience of IoT System-of-Systems”
La troisième conférence invitée était donnée par Federica Sarro, University College, London et était intitulée “Search-Based Software Engineering for Greener and Fairer Artificial Intelligence Systems”.
Ses transparents seront disponibles ici :
Mireille Blay et Catherine Dubois, directrices du GDR, ont fait le point sur les actions réalisées par le GDR GPL, …
et ont présenté la ville qui accueillera les journées nationales 2026. (la réponse est dans les transparents ci-dessous)
Nous avons accueilli Anne Siegel, Directrice Scientifique Adjointe au CNRS Sciences Informatiques, en charge du suivi des GDRs.
Elle nous a présenté sa vision du positionnement du GDR GPL dans l’écosystème des Sciences Informatiques et plus généralement du CNRS.
Le GDR GPL a rendu hommage à Jean-Raymond Abrial, décédé il y a quelques semaines. Régine Laleau a rappelé les principales contributions de ce chercheur exceptionnel.
La deuxième conférence invitée de ces journées GPL2025 était donnée par Frédéric Loulergue (Professeur à l’Université d’Orléans).
Elle était intitulée “Approches formelles pour les composants et outils système”. Ses transparents sont disponibles ici:
Paul Temple et Catherine Dubois ont organisé un atelier à l’attention des jeunes chercheurs pour les aider à préparer les concours.
Leurs transparents sont disponibles à l’url suivant:
https://gdr-gpl.cnrs.fr/wp-content/uploads/2025/06/soiree_concours_GDR-GPL_2025.pdf
Un jury présidé par Sandrine Blazy et Pascal Poizat a attribué le prix de thèse GPL 2025 à Mickaël Laurent pour sa thèse intitulée “Inférence de types polymorphes pour des langages dynamiques : reconstruction de types pour des systèmes combinant polymorphisme paramétrique, surcharge et sous-typage”
Il a également attribué un accessit à Anouck Chan pour sa thèse intitulée “Co-conception d’un produit et de son système industriel : une approche ingénierie des exigences pour l’aérospatial”
La deuxième journée a commencé par la conférence invitée de Franck Barbier, Professeur à l’Université de Pau.
Sa conférence était intitulée « Économie de la Programmation et du Logiciel ». Ses transparents sont disponibles ci-dessous :
En ouverture des journées GPL2025, Pascal Poizat et Jean-Michel Bruel ont fait le point sur l’avancement de l’appel à défis 2025. Voir les transparents ci-dessous…
https://gdr-gpl.cnrs.fr/wp-content/uploads/2025/06/GdRGPL2025-defis-1.pdf
Tout au long des journées, les responsables des défis ont travaillé à l’évolution et à la publicité de leurs défis.
Les Journées nationales 2025 du GDR GPL ont été ouvertes en ce 16 juin 2025 par les co-directrices du GDR, Mireille Blay et Catherine Dubois, ainsi que les organisateurs locaux : Adel Noureddine et Olivier Le Goaër.
A ce jour il y a 107 inscrits.
