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

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

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

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
11:00 – 11:30 Adel Noureddine (UPPA), Analyzing Software Energy Consumption
11:40 – 12:10 Quentin Perez (IRISA), Software Frugality in an Accelerating World: An Empirical Study of GitHub Action CI Energy Consumption

// Déjeuner //

14:00 – 14:30 Olivier Le Goaër (UPPA), Green Software: Tactics, Patterns & Smells
14:30 – 15:30 Demo-time : EcoFLOC (H. Valera), JoularJX (A. Noureddine), ecoCode (O. Le Goaer)
15:40 – 17:00 Table ronde : REX enseignement Green IT (N. Valles/A. Noureddine) — avec le soutien du CMA Verdinum

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

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