Author Archives: Yves Ledru

Bourses de Mobilité 2025

Posted on by


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

Prix de thèse GPL 2025 (Thèses soutenues en 2024)

Posted on by

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

Posted on by

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.

Posted on by


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

Contributeurs du site

Posted on by

La plupart des utilisateurs du site GDR-GPL sont des “contributeurs”. Ils peuvent déposer un “post”, qui doit être approuvé par les administrateurs du site. Ce dépôt se fait en cliquant sur “Submit for Review”, l’article est dans l’état “pending”. En cliquant sur “Publish”, l’article devient visible! Une fois accepté, son contributeur ne peut plus le modifier.

Dans un premier temps, le statut de contributeur sera accordé aux membres du bureau et aux responsables de groupes de travail qui en feront la demande.

Appel à défis 2026-2030

Posted on by

Dans le cadre des appels à défis 2026-2030, un certain nombre d’entre vous ont initié la liste 

https://codimd.math.cnrs.fr/s/D8wUwcZMg

Pour celles et ceux qui ne l’ont pas encore fait, nous vous invitons à aller voir ce qui s’écrit, et à éventuellement proposer vos défis si vous ne vous y retrouvez pas ou que vous estimez qu’il en manque (c’est le cas 😉 Les défis n’ont pas tous le même niveau de détails dans la rédaction, mais basez-vous sur le minimum ou bien collaborez dans les défis actuels.

Nous fixons la date limite à lundi 16 décembre pour peaufiner et ajouter vos rédactions, date à laquelle nous rencontrons notre délégué scientifique Patrick Baillot pour un premier point.

N’hésitez pas à contacter l’un de nous trois si vous avez des doutes.

Bien cordialement,

JMB, Pascal et Nicolas.

Appel à participation — Journée commune GT VL & GLIA – lundi 03/02/2025 – IRISA/INRIA, Rennes

Posted on by

Faisant suite aux précédentes sessions et journées des GT GLIA et VL, nous proposons une journée spéciale commune aux deux GTs le lundi 03 février 2025 à Rennes, à l’IRISA et au centre de l’INRIA de l’université de Rennes. Nous aurons l’opportunité d’organiser cette journée en prélude à la conférence VAMOS du 04 au 06 février et en parallèle du workshop MODEVAR le lundi 03 février. Vous êtes évidemment invités à participer à VAMOS si vous le souhaitez.

Nous vous invitons chaleureusement à venir présenter vos derniers travaux, participer et échanger sur les thèmes du génie logiciel et de l’intelligence artificielle.

Nous encourageons tout particulièrement les doctorantes, doctorants, chercheuses et chercheurs ayant récemment publié un papier à venir présenter leurs travaux. Si vous souhaitez participer et/ou présenter vos travaux à cette journée, merci de vous inscrire dans le formulaire ci-dessous pour le 10 janvier 2025 au plus tard.

https://docs.google.com/forms/d/1kjFxcl3j8XVYsfoj2WS5xyenEQnqw6MHpbn6eskx0mw

Une fois le programme établi, nous communiquerons les modalités pratiques d’organisation de la journée (salle, programme, horaires, etc.).

Nous comptons vivement sur votre participation et vous remercions par avance pour vos contributions.

N’hésitez pas à nous contacter pour plus d’informations. 

Nous vous donnons rendez-vous le 03 février à Rennes

Cordialement,

Djamel et Thomas (GT VL)

David et Romain (GT GLIA)

Journée DevX du 4 décembre 24 à Rennes : Programme

Posted on by

La matinée sera réservée aux présentations (merci pour les propositions !) sur un format de 10 minutes pour présenter et 5 minutes de questions.
L’après midi sera dédiée à des discussions et projections dans le but d’écrire un – ou des défis pour la création du GT DevX.
Merci également au gdr-gpl pour le financement de la journée !

Valentin, Benoit, Steven.

Date: le 4 décembre 2024
Lieu: IRISA, Campus de Beaulieu, Rennes

—
09:00-09:20: Welcome coffee
09:20-09:30: Introduction (Benoit, Steven and Valentin)
—
09:30-09:45: The Debugging Activity Blueprint: a Visualization to Explore How Developers Debug (Valentin Bourcier Inria/Evref)
09:45-10:00: Debugging and testing autonomous agents (Oleksandr Zaitsev, Cirad)
10:00-10:15: How do debugging activities help for detecting security issues? (Imen Sayar, Inria/Evref)
10:15-10:30: Echo debugging: A Debugger-Based Approach for Understanding Behavioral Changes Between Two Program Versions  (Rémi Dufloer)
—
10:30-11:00: coffee break
—
11:00-11:15: Synthétiser des formules pour (re)connecter le code et ses intentions (Frank Vedrine, CEA)
11:15-11:30: Extreme Test Driven Development (Steven Costiou, Inria/Evref)
11:30-11:45: Moldable Development with Glamorous Toolkit (Andrei Chis, Feenk)
11:45-12:00: Research activities on DevX @ LaBRI (Thomas Degueule, Labri/CNRS)
12:00-12:15: There is only one time in software engineering! (Benoit Combemale, IRISA/DiverSE)
—
12:15-12:30: Discussions and Wrap-up
—
12:30-14:00: lunch
—
14:00-15:30: Brainstorm (scope of the DevX working group, action plan, organization, etc.)
—
15:30-16:00: coffee break
—
16:00-17:00: Consolidation and structure of the document (_défis GDR GPL_)
—

Planning de la Journée commune du GDR RADIA et du GT IE du GDR GPL – 21 Novembre 2024

Posted on by

Le GDR RADIA et le groupe de travail Ingénierie des Exigences (IE) du GDR GPL s’associent pour proposer une journée d’étude commune le 21 novembre 2024 au LIP6 à Paris.

Les exposés seront centrés sur des travaux relevant à la fois des thématiques IA et IE, comme par exemple l’IE pour l’IA (l’IE pour une IA de confiance, comment définir le quoi, pour qui, comment lors de la conception d’un système IA, …), l’IA pour l’IE (comment l’IA peut aider à exprimer, analyser, vérifier des exigences, … )

Voici le planning de la journée :

– 9h30 – 10h : accueil « café »

– 10h – 10h45 : Grégoire MENGUY (CEA) : Black-box Precondition Inference through Constraint Acquisition,

– 10h45 – 11h30 : Filipo Peroto (ONERA) : DeepGreen en projet pour embarquer et certifier de l’IA dans le cadre aéronautique.

– 11h30 – 12h15 : Abdelkarim El Hajjami (Doctorant en informatique, Université Paris 1 Panthéon-Sorbonne) : Évaluation Comparée des Techniques d’IA pour la Classification des Exigences : Support Vector Machines (SVM), Long Short-Term Memory (LSTM) et GPT.

– 12h15 – 13h45 : Buffet

– 13h45 – 14h30 : Thuy Nguyễn (EDF) : La formalisation automatique des exigences en langage naturel est-elle possible ?

– 14h30 – 15h15 : Antoine Guiziou (Doctorant en droit privé, Université Paris 1 Panthéon-Sorbonne : Deadbots vs Griefbots : Enjeux conceptuels, techniques et juridiques pour l’ingénierie des exigences en IA

– 15h15 – 15h45 : Pause

– 15h45 – 16h30 : Julien Girard (CEA) : Spécifier et vérifier des propriétés de sûreté sur de l’IA

– 16h30 – 17h : Discussion

La journée se déroulera dans la salle 25-26/105 du LIP6, campus de Jussieu (plan d’accès : https://www.lip6.fr/informations/comment.php).

Programme de la Journée GT Logiciel Eco-Responsable à Montpellier

Posted on by

Un rappel pour notre journée d’étude le 26 novembre 2024 à Montpellier au LIRMM.

Vous trouverez ci-dessous le programme de la journée d’étude :

10:00 – 11:00 [Keynote] Florian Quèze (Mozilla), Firefox power profiling: a powerful visualization of web sustainability

https://docs.google.com/presentation/d/1Z16MW799WEdhMmscRX2bysyp8xfuBp1AlYCKWQt9kac/edit#slide=id.g17e349e19fc_0_403

11:00 – 11:30 Adel Noureddine (UPPA), Analyzing Software Energy Consumption

https://www.noureddine.org/media/pages/publications/1b8caf8a00-1732901426/noureddine-gtecoresp-26-11-2024.pdf

11:40 – 12:10 Quentin Perez (IRISA), Software Frugality in an Accelerating World: An Empirical Study of GitHub Action CI Energy Consumption

https://drive.google.com/file/d/1Wfd6hYN7lpQ2JTVpznDCOcr1XZvK96-F/view

14:00 – 14:30 Olivier Le Goaër (UPPA), Green Software: Tactics, Patterns & Smells

https://olegoaer.perso.univ-pau.fr/works/Green_Software_tactics_patterns_smells.pdf

14:30 – 15:30 Demo-time :

EcoFLOC (H. Valera) :https://drive.google.com/file/d/1U-KnN-ELtWB8kjZBzWtqY5-RpTqQvQmv/view

JoularJX (A. Noureddine) :https://www.noureddine.org/media/pages/publications/1b8caf8a00-1732901426/noureddine-gtecoresp-26-11-2024.pdf

ecoCode (O. Le Goaer) : pas de fichier


15:40 – 17:00 Table ronde : REX enseignement Green IT (N. Valles/A. Noureddine) — avec le soutien du CMA Verdinum

https://1drv.ms/b/s!ArOY0pJB7LNraz3-vxS22BXFEIU?e=xUQFB1

La journée est gratuite, mais une inscription est souhaitable : https://evento.renater.fr/survey/inscription-a-la-journee-du-gt-logiciel-eco-responsable-a-montpellier-gphfgtut

Journée MTV2 le 21.11.2024 à l’EPITA, Le Kremlin-Bicêtre

Posted on by

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 21 novembre 2024, à l’EPITA sur le campus de Paris – Kremlin-Bicêtre 
  adresse : 14-16 Rue Voltaire, 94270 Le Kremlin-Bicêtre

Nous avons le plaisir de vous annoncer l’exposé invité qui sera donné lors de cette journée :

   Jan Midtgaard (Tarides)
   “Property-Based Testing of OCaml 5”

qui nous présentera les travaux sur QuickCheck et le test de code OCaml multi-cores.

Si vous êtes intéressés, merci de vous inscrire sur le lien suivant :

https://framadate.org/xM8uD51NKLGTNnoO

   au plus tard avant le 6 novembre 2024, en indiquant vos 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 également le titre et le résumé aux animateurs MTV2 et organisateurs (en CC) par mél). Il reste quelques derniers créneaux pour ceux qui veulent proposer un exposé.

Pour toute modification tardive d’inscriptions après le 6 novembre, merci de contacter les animateurs MTV2 et les organisateurs par mail.

Le programme et les informations pratiques seront publiés sur la page du groupe :
https://sites.google.com/view/gdr-gpl-mtv2/manifestations-mtv2/21-11-2024

Bien cordialement,

Les animateurs du groupe MTV2,
Nikolai Kosmatov, Natalia Kushik, Pascale Le Gall, Antoine Rollet

Les organisateurs locaux,
Amazigh Amrane, Alexandre Duret-Lutz, Uli Fahrenberg et Ghiles Ziat

Journée jumeaux numériques

Posted on by

Le jumeau numérique est un artefact logiciel complexe dont le domaine d’application est très large (biologie, sciences de la Terre, urbanisme, productique, médecine, archéologie, etc.). S’appuyant sur de nombreux modèles, collectant de grandes quantités de données parce qu’en communication constante (selon un rythme de synchronisation adapté à son usage) avec son écosystème, avec un volet sobriété énergétique plutôt marqué, nous pensons qu’il concerne toute la communauté (IDM, architecture, sécurité, cycle de vie…). 

Continue reading →

Journée LVP 2024

Featured

Posted on by

La journée annuelle du GT LVP (Langages et Vérification de Programmes) aura lieu le jeudi 14 novembre 2024 dans les locaux de l’IRIF à Paris. Plus d’informations seront communiquées ultérieurement.

Journée MDENet France Workshop 2023

Posted on by

Le groupe de travail IDM du GDR GPL, a organisé un International MDENet workshop à Paris le 15 décembre 2023.

https://international.mde-network.org/paris23

The purpose of the meeting was to exchange experiences (not least industrial experiences) and identify upcoming research challenges and collaboration opportunities in the context of model-driven engineering.

The workshop was held at University of Paris Jussieu, in the LIP6 laboratory.