Category Archives: EvenementGPL

Marque les événements (journée de travail, conférence,…) dont le GDR GPL est un des principaux organisateurs.

Co-voiturage aux journées GPL2025

Posted on by

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

Posted on by


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

Journées Nationales GPL 2025

Posted on by

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:

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

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_)
—

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.

Journées communes LVP+MTV2 les 16-17 nov. 2023 à Palaiseau

Posted on by

Les prochaines journées communes des groupes de travail LVP et MTV2 auront lieu

    les 16-17 novembre 2023

    au CEA List, adresse : 2 Boulevard Thomas Gobert, 91120 Palaiseau.

Le programme et les informations pratiques seront communiqués sur

https://groupes.renater.fr/wiki/lvp/public/2311journeeslvp_mtv2

Grâce au soutien du GDR GPL, du CEA List et de la Graduate School “Informatique et Sciences du Numérique” de l’Université Paris-Saclay, la participation aux journées est gratuite, les déjeuners et pauses café sont offerts. Les journées commenceront par le déjeuner le 16 novembre et se termineront après le déjeuner le 17 novembre.

Pour des raisons d’organisation et d’autorisation d’accès sur le site, l’inscription est obligatoire. 

Nous vous invitons à vous inscrire et à soumettre une éventuelle proposition de présentation sur le site suivant :

https://framaforms.org/journees-des-gt-lvp-et-mtv2-du-gdr-gpl-du-cnrs-16-et-17-novembre-2023-1632212678

au plus tard avant le 16 octobre 2023. 

Vous pouvez proposer des présentations (en français ou en anglais) de vos travaux, sous diverses formes, incluant un exposé oral, un tutoriel, une démonstration d’outil, une présentation de projet ou un poster.

En espérant vous voir nombreux lors de ces journées,

Les responsables des GT LVP et MTV2 et les organisateurs locaux,

Alain, Antoine, Boutheina, Julien, Natalia, Nicolas, Nikolaï et Pascale

Date: Jeudi, 16 Novembre, 2023 to Vendredi, 17 Novembre, 2023

Journée commune AFSEC-SED

Posted on by

Mardi 11 avril de 9h30 à 16h à l’ENSAM de Paris se tiendra une journée commune au GT AFSEC et au CT SED du GDR MACS.

L’inscription est gratuite mais obligatoire et peut se faire à l’adresse suivante : https://forms.gle/P6uH3Zz5Kjr4a1H17

Cinq exposés seront proposés.

  • Moving Block System: Verification Framework. par Rim Saddem (LIS, Aix-Marseille Université)
  • Analyse d’atteignabilité directe des systèmes (max,+)-linéaires à l’aide des polyèdres tropicaux : application à la sûreté. par Guilherme Espindola Winck (LARIS, Université d’Angers)
  • Fuzzing de systèmes à états. par Rémi Parrot (IT Department, Uppsala University)
  • Model-Bounded Monitoring of Hybrid Systems. par Étienne André (LIPN, Université Sorbonne Paris Nord)
  • Computing Linear Inductive Invariants for Petri Nets using Property Directed Reachability. par Nicolas Amat (LAAS-CNRS, INSA Toulouse)

Date: Mardi, 11 Avril, 2023

Journée MTV2 le 16.03.2023 au LMF, Univ.Paris-Saclay

Posted on by

La prochaine journée du groupe de travail MTV2 (Méthodes de test pour la validation et la vérification) aura lieu

  le jeudi 16 mars 2023
  au laboratoire LMF de l’Université Paris-Saclay.

Elle sera organisée sur place par Burkhart Wolff, Frédéric Voisin et Fatiha Zaidi.

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

   https://framadate.org/jlYKjeU4hCCxXiwo
   de préférence, avant le 10 février 2023.

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 organisateurs par mél). 

Le programme et les informations pratiques seront publiés sur la page du groupe :

https://sites.google.com/view/gdr-gpl-mtv2/manifestations-mtv2/16-03-2023

Date: Jeudi, 16 Mars, 2023