Author Archives: Yves Ledru
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 :
AG du GDR GPL
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)
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.


Hommage à Jean-Raymond Abrial
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.
Conférence invitée de Frédéric Loulergue
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:
Atelier de préparation aux concours
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
Prix de GPL Thèse 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”
Conférence invitée de Franck Barbier
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 :
Appel à défis (la suite…)
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.


Ouverture des journées nationales 2025
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.


Actes de AFADL’25
Les actes d’AFADL’25, colocalisé avec les journées du GDR GPL sont disponibles sur HAL à l’url suivant : https://hal.science/hal-05106227

Co-voiturage aux journées GPL2025
Nous sommes sûrement toutes et tous en train de préparer nos missions pour les journées GdR GPL du 16 au 19 juin (pensez à vous inscrire).
Une possibilité est d’arriver sur Toulouse (ou Bordeaux) pour rejoindre Pau en 2h de voiture, à condition de la remplir
Afin de faciliter le co-voiturage, j’invite les personnes qui en ont la possibilité, ou celles qui envisagent de louer une voiture, de partager en utilisant ce lien :https://www.covoitribu.fr/poll/89188_zlHWhMCJpWxGT0
C’est pas idéal, mais je pense que ça peut faire le job.
Bien cordialement,
JMB.
Inscriptions pour les journées nationales
Les prochaines journées nationales du GDR Génie de la Programmation et du Logiciel (GPL) se dérouleront du 16 au 19 juin 2025 à Pau.
Les inscriptions sont désormais ouvertes sur : https://gdrgpl2025.sciencesconf.org/
Cette année, nous aurons un tarif unique, indépendant de votre statut, à 100 € TTC avant le 6 juin inclus (tarif late à 200 € à partir du 7 juin).
Nous vous attendons nombreux à Pau au pied des Pyrénées !
Pour toutes questions ou tous renseignements, n’hésitez pas à nous contacter sur nos 2 mails (Adel et Olivier).
Bien cordialement,
Adel & Olivier
Bourses de Mobilité 2025
Le GDR Génie de la Programmation et du Logiciel propose quelques bourses de mobilité en vue de coopération entre équipes en 2025
Ces bourses d’un montant maximum de 1000€ sont destinées à couvrir des frais de déplacement et de logement d’un doctorant, d’un chercheur ou enseignant-chercheur pour un séjour de courte durée (typiquement, une semaine) dans une autre équipe, géographiquement distante (située dans un autre département). Le séjour doit avoir lieu avant octobre 2025.
Ce séjour doit favoriser un projet de collaboration entre les deux équipes, ou de mobilité future du chercheur concerné (CRCT, délégation ou détachement, mutation ou recrutement).
La personne candidate doit être membre d’une des équipes du GDR GPL, c’est-à-dire que l’équipe doit participer à un des groupes de travail du GDR GPL. Le laboratoire du candidat ou le laboratoire d’accueil doit participer au GDR GPL.
A l’issue de sa mobilité, le candidat enverra un bref rapport (environ une page) sur l’action réalisée. Ce rapport pourra être publié sur le site web du GDR GPL.
Le montant de la bourse sera viré soit au laboratoire du candidat ou au laboratoire d’accueil si l’un des deux est une unité CNRS. Si aucun des 2 laboratoires n’est une unité CNRS, nous essayerons de trouver une solution.
Procédure de candidature :
Le dossier de candidature comprend
– une fiche « Demande de bourse de mobilité GPL » signée par le candidat et son directeur de laboratoire, fiche dont le modèle se trouve à l’adresse ci-dessous
https://gdrgpl.myxwiki.org/xwiki/bin/download/Main/DocumentsCompterendus%20de%20r%C3%A9unions/WebHome/MobiliteGPL-mode%CC%80le.doc
– un bref curriculum vitae (au plus 2 pages) et la liste d’au plus 5 publications récentes,
– une courte description du projet et de sa motivation (au plus 2 pages),
– une lettre d’invitation du laboratoire d’accueil.
Le dossier de candidature doit se présenter en UN SEUL fichier au format pdf.
Le dossier doit être envoyé à Mireille Blay-Fornarino et Catherine Dubois par courrier électronique. Envoyez un lien de téléchargement si besoin avec le message de candidature.
Les candidatures seront examinées par le bureau du GDR GPL, assisté le cas échéant par les responsables des groupes de travail et les membres du comité scientifique. Si besoin, la préférence sera donnée aux nouvelles collaborations.
Calendrier :
• Soumission des candidatures : dès que possible et au plus tard le 23 avril 2025
• Notification : 7 mai 2025 au plus tard
• Rapport sur le séjour un mois au plus tard après la fin du séjour
Mireille Blay-Fornarino et Catherine Dubois
Journées Nationales GPL 2025
Les prochaines journées nationales du GDR GPL auront lieu à Pau du 16 au 19 juin 2025. Réservez ces dates dès maintenant dans vos agendas!
Le site web de ces journées est ouvert à l’adresse suivante :
https://gdrgpl2025.sciencesconf.org
Le site web du GDR GPL publie également des articles sur les journées GPL 2025. En voici la liste:
- Programme détaillé des journées GPL2026
- Prix du meilleur poster
- Conférence invitée de Federica Sarro
- AG du GDR GPL
- Nouvelles du CNRS
- Hommage à Jean-Raymond Abrial
- Conférence invitée de Frédéric Loulergue
- Atelier de préparation aux concours
- Prix de GPL Thèse 2025
- Conférence invitée de Franck Barbier
- Appel à défis (la suite…)
- Ouverture des journées nationales 2025
- Actes de AFADL’25
- Co-voiturage aux journées GPL2025
- Inscriptions pour les journées nationales
- Journées Nationales GPL 2025
Prix de thèse GPL 2025 (Thèses soutenues en 2024)
https://gdrgpl-prixthese2025.hotcrp.com
décerné par le GDR GPL
date limite de candidature : vendredi 17 mars 2025
Créé en 2013 pour récompenser chaque année une excellente thèse préparée au sein du Groupement de Recherche Génie de la Programmation et du Logiciel (GDR GPL),
ce prix a pour objectif de promouvoir les travaux du GDR GPL auprès de la communauté informatique, qu’ils soient fondamentaux ou appliqués.
La sélection du prix sera faite par un jury d’universitaires et de chercheurs(cheuses).
La remise officielle du prix aura lieu lors des prochaines journées nationales du GDR GPL qui se dérouleront en juin 2025.
À cette occasion, le ou la lauréat(e) se verra remettre un prix.
Les thèmes scientifiques du GDR GPL 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 critères pris en compte par le jury pour sélectionner le ou la lauréat(e) sont notamment l’originalité, l’importance et l’impact des résultats obtenus, ce qui inclut le ou les éventuels logiciels, preuves ou jeux de données développés pour la thèse, et la qualité de la rédaction.
CALENDRIER
17 mars 2025 : date limite de dépôt du dossier de candidature sur https://gdrgpl-prixthese2025.hotcrp.com/
23 mai 2025 : notification des résultats
16-19 juin 2025 : journées du GDR GPL
DOSSIER DE CANDIDATURE
Peut déposer sa candidature toute personne ayant soutenu son doctorat d’informatique dans une école ou université française entre le 1er janvier 2024 et le 31 décembre 2024.
Toute candidature devra être explicitement soutenue par les encadrants de thèse. Il n’est pas permis à un(e) même encadrant(e) de soutenir plus d’une candidature.
L’association avec le GDR GPL doit être si possible précisée (par exemple candidat(e) ou encadrant(e) inscrit dans l’un des GT ou y ayant fait une présentation, lien à un enjeu).
La candidature consiste en un fichier PDF (dossier) à transmettre sur un site en ligne.
Le dossier de candidature DOIT comprendre :
- une lettre de présentation de la candidature, avec CV et liste de réalisations (publications, logiciels, jeux de données, preuves, etc).
- sous forme de liens cliquables : la thèse (en PDF), les transparents de la soutenance
- sous forme de liens cliquables ou intégrés au dossier : les rapports de pré-soutenance des rapporteur(trices)s et de soutenance
- intégrée au dossier ou envoyée directement à la présidence du jury : une lettre de/de la/des encadrant(e)(s) appuyant la candidature au prix de thèse
Le dossier de candidature PEUT comprendre aussi, le cas échéant, et si la/le candidat(e) le juge pertinent :
- sous forme de lien cliquable : vidéo de la soutenance
- sous forme de liens cliquables (serveurs git, Zenodo, Archive of Formal Proofs, etc) : logiciels, jeux de données, preuves, etc
- intégrés au dossier ou sous forme de liens cliquables : des rapports complémentaires que le ou la candidat(e) jugerait utile de fournir au jury.
Faire apparaître les liens dans un style particulier (souligné, couleur différente, emoji spécifique, etc) peut faciliter la lecture du dossier par le jury.
DEPOT
Un seul et unique document, au format PDF exclusivement, devra contenir les éléments ci-dessus et devra être déposé par le biais de l’interface Web de candidature.
https://gdrgpl-prixthese2025.hotcrp.com/
CONTACTS
En cas de besoin, la présidence du jury peut être jointe via le site de soumission (en cours) ou par mail : Sandrine Blazy sandrine.blazy@irisa.fr et Pascal Poizat pascal.poizat@lip6.fr
—
Prof. Pascal Poizat
Université Paris Nanterre
LIP6 UMR 7606 CNRS
https://pascalpoizat.github.io
Appel à présentation et participation aux GreenDays 2025 à Rennes les 25 et 26 mars
La problématique d’un numérique écoresponsable recouvre plusieurs facettes qui sont adressées de différentes manières suivant les communautés scientifiques. Les GreenDays permettent d’aborder ces différents angles de vue grâce à des exposés invités et des propositions soumises par les participants et participantes.
Ces journées thématiques francophones sont organisées en collaboration avec les GDRs GPL, IASIS, MADICS, RSD, ROD, SOC2 et le GDRS EcoInfo et avec le soutien des PEPR Cloud et Réseaux du futur.
L’inscription est gratuite mais obligatoire avant le 11 mars 2025 (en fonction des places disponibles, pour des raisons de logistique).
Pour s’inscrire : https://greendays.sciencesconf.org/
Si vous souhaitez présenter des travaux (exposé ou poster), soumettez un titre et un résumé avant le 3 mars 2024 sur https://greendays.sciencesconf.org/
Journée commune au CT SED et au GT AFSEC.
Le CT SED (GDR MACS) et le GT AFSEC (GDR GPL) s’associent pour organiser une journée d’étude commune le 30 janvier 2025 au CNAM à Paris. Cette journée, gratuite et ouverte à tous, sera l’occasion de partager et de discuter des enjeux autour de la sécurité et des méthodes formelles, dans le but de mieux comprendre les problématiques de chacun et, pourquoi pas, de favoriser de nouvelles collaborations.
Le programme de la journée :
– Yan Monier : Identification adaptative de système à un automate hybride dans le contexte des jumeaux numériques Cyber-Physiques
– Mouna Gaouar : Timed Output Synchronized Petri Nets and Synchronized State Class Graphs
– Olivier Boutin : PyMinMaxGD: Python Scripting in a Dioid Framework to solve Control Problems.
– Anthony Spriet : Non-interférence temporisée avec observation partielle et mémoire bornée
– Théo Serru : Offuscation en ligne du flot d’instructions : preuve formelle et proposition pour l’implémentation sur CVA6
– Mohamed Ghazel : K/K_min diagnosability analysis in labeled Petri nets by means of linear algebraic optimization