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 !

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”

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: