1er Congrès des Sciences du Logiciel.

Cette année, les Journées nationales du GdR SciLog (ex GDR-GPL) deviennent le 

1er Congrès des Sciences du Logiciel.

Il se tiendra à Lille du lundi 1er juin au jeudi 4 juin 2026, sur le Campus Cité Scientifique, au bâtiment Polytech.

Vous trouverez tous les renseignements, ainsi que la page d’inscription, sur le site des journées : https://scilog2026.fr

Pensez à vous inscrire avant le 10 mai, au delà, les prix sont majorés 

  En espérant vous voir nombreuses et nombreux à ces journées.

  Cedric Dumoulin

( Pour le comité d’organisation)

Journées AFADL 2026 à Lille

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 :

https://scilog2026.fr/afadl

Journée GT Logiciel Eco-Responsable @ Nantes 2026

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 :

  •     Présentation des thématiques, projets en cours, et résultats récents de la communauté (appel à présentations),
  •     Discussions entre les membres afin d’émerger des collaborations scientifiques inter-laboratoires,
  •     Séminaire/keynote invité.

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.

Journée MTV2 le 11 décembre 2025 à Grenoble

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.

Journée annuelle du groupe LVP (Langages et Vérification de Programmes)

La journée annuelle du groupe LVP du GT LVP (Langages et Vérification de Programmes) aura lieu le **13 novembre 2025** à Strasbourg : 

https://groupes.renater.fr/wiki/lvp/journee_lvp_novembre2025

Cette journée de séminaire est une bonne occasion de présenter vos travaux en cours, récemment publiés ou finalisés : n’hésitez pas à proposer un exposé !

Les thèmes du GT sont visibles sur son site web :

https://gdrgpl.myxwiki.org/xwiki/bin/view/Main/GTs/GT%20Langages%20et%20v%C3%A9rification%20de%20programmes%20(LVP)

La participation est gratuite, mais l’inscription obligatoire via https://framaforms.org/journee-lvp-du-13-novembre-2025-1756886583 :

* avant le **17 octobre** si vous proposez un exposé

* avant le 31 octobre sinon

Le programme sera disponible prochainement. 
Au plaisir de vous voir à Strasbourg !

Editions précédentes des journées nationales

Vous trouverez ci-dessous des pointeurs vers les pages des journées nationales qui se sont déroulées au cours des dernières années.

Les pointeurs ci-dessous vous redirigent vers l’ancien serveur du GDR GPL.


Retour sur les journées nationales GPL 2025 (Pau)

Les 16es Journées Nationales du GDR GPL (devenu depuis le GDR SciLog) se sont tenues à Pau du 16 au 19 juin 2025.

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

Articles sur les journées nationales 2025 :

Prix du meilleur poster

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”

Conférence invitée de Federica Sarro

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 :

Nouvelles du CNRS

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.

Prix de Thèse GPL 2025

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”