Bienvenue sur le site du GDR GPL

Le GDR GPL (Groupement de Recherche Génie de la Programmation et du Logiciel) est une unité de l’INS2I du CNRS qui regroupe la communauté scientifique française intéressée par le Génie Logiciel et la Programmation.

Vous trouverez sur ce site les dernières actualités relatives au GDR GPL :

Dans le menu, vous trouverez des liens qui vous présentent le GDR GPL, son organisation, ses principaux groupes de travail, ainsi que des archives sur les journées nationales passées.

Dernières actualités

  • 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 … Continue reading
  • Notes des ateliers de préparation aux concours
    Catherine Dubois et Paul Temple ont reconduit les soirées de préparation aux concours. Le nombre de participants est toujours à peu près au même niveau (entre 30 et 40 suivant les concours).Comme l’année dernière ils ont pris des notes.Vous trouverez le pdf ci-joint.
  • Appel Mobilité
    Le GdR Génie de la Programmation et du Logiciel propose régulièrement des bourses de mobilité en vue de coopération entre équipes. Ces bourses d’un montant forfaitaire 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 … Continue reading
  • Journée jumeaux numériques
    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 … Continue reading
  • Journée LVP 2024
    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.
  • Prix de thèse GPL2023
    Le jury du prix de thèse du GDR GPL, présidé par Pascal Poizat, a attribué un prix de thèse et deux accessits. Le prix de thèse GPL 2023 est attribué à Xavier Denis pour sa thèse intitulée “Deductive Verification for Rust Programs”. Ses transparents sont disponibles ici.
  • Prospective 2024-2030 du GDR GPL
    A la demande du CNRS, le Conseil Scientifique et le Bureau du GDR GPL ont préparé un document synthétique de prospective qui identifie les évolutions significatives de notre discipline, les thématiques émergentes, les enjeux sociétaux et les relations du GDR avec les autres disciplines (de l’INS2I et au-delà). Ce document est disponible ici.
  • Hello world!
    Welcome to WordPress. This is your first post. Edit or delete it, then start writing!
  • Hackathon sur le projet R&D ecoCode (3e edition)
    Le “ecoCode challenge” a eu lieu les 29 et 30 mai 2024à Paris. Près de 150 personnes au total ont ainsi contribué à la solution open source ecoCode, un plugin SonarQube pour l’éco-conception logicielle, porté coté recherche par Olivier Le Goaër. Pour en savoir plus :  Site web
  • Ouverture des Journées Nationales GPL 2024 et programme
    Les journées nationales GPL 2024 ont été ouvertes ce lundi 3 juin 2024 par Nicolas Magaud, et son équipe d’organisateurs locaux, ainsi que les co-directrices du GDR : Mireille Blay et Catherine Dubois. Le programme est disponible sur le site des journées nationales : https://gdrgpl2024.sciencesconf.org/
  • Journées communes LVP+MTV2 les 16-17 nov. 2023 à Palaiseau
    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 … Continue reading
  • MLIR: The Good, the Bad and the Ugly
    En collaboration avec le GdR SOC2, le groupe CLAP organise une journée sur MLIR intitulée “MLIR: The Good, the Bad and the Ugly”. Le mardi 17 octobre 2023, à l’Irisa, Rennes. La description de la journée, programme, et inscriptions sont accessibles sur la page suivante :https://www.gdr-soc.cnrs.fr/2023/07/19/mlir-the-good-the-bad-and-the-ugly/ Date : Mardi, 17 Octobre, 2023
  • Journée commune AFSEC-SED
    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. Date: Mardi, 11 Avril, 2023
  • Journée MTV2 le 16.03.2023 au LMF, Univ.Paris-Saclay
    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 : … Continue reading
  • Journées communes 2023 des GT CLAP, HiFi et LVP
    Les groupes de travail CLAP, HiFi et LVP du GDR GPL s’associent pour proposer des journées communes, du lundi 20 au mercredi 22 mars 2023, dans l’auditorium du bâtiment IMAG, à Grenoble. Toute l’information pour participer aux journées est ici : https://clap-hifi-lvp-2023.sciencesconf.org Date: Lundi, 20 Mars, 2023 to Mercredi, 22 Mars, 2023
  • Journée commune GT Vélocité Logicielle et Ingénierie des Modèles – Paris (LIP6) – 10 Mars 2023
    Le vendredi 10 mars 2023 à Paris, au LIP6, aura lieu une journée commune aux groupes de travail Vélocité Logicielle et Ingénierie des Modèles. En raison de la grève actuelle dans les transports, la journée physique à Paris est annulée. Elle est remplacée par une journée en visio-conférence (le lien sera donné dans le programme … Continue reading
  • Réunion commune GT AFSEC (Approches Formelles des Systèmes Embarqués Communicants) et IE (Ingénierie des Exigences)
    La prochaine journée de notre groupe de travail aura lieu le mercredi 6 avril 2022 à Nantes. Cela sera une journée particulière puisqu’elle sera commune aux GT AFSEC (Approches Formelles des Systèmes Embarqués Communicants) et IE. Les exposés seront donc plutôt centrés sur des travaux relevant à la fois des thématiques des deux GT. Vous pouvez … Continue reading
  • GT-Debugging : ressources 2021 en lignes (slides, vidéos)
    Bonsoir à tous, l’année 2021 du GT-Debugging s’est terminée par une présentation “Debugging Scientific Software” de Dorian Leroy, post-doc à Diverse/Inria, et dont les slides et vidéos sont disponibles ici. Merci à Dorian pour sa super présentation ! Toutes les ressources du GT-Debugging (slides, vidéos) sont également disponibles sur notre serveur de fichiers . Bonnes … Continue reading
  • 3rd meeting of the Yoda working group
    The 3rd meeting of the Yoda working group was held remotely on Monday, 29th of November, 2021, 14:00-16:00 CET 14:30-16:30 CET. The program comprised three talks:
  • Journées GL & IA le 2 décembre 2021 sur Paris
    Le groupe de travail Génie Logiciel et Intelligence Artificielle (GLIA) du GDR GPL organisera une journée de travail le jeudi 02 décembre 2021, en présentiel cette année, au LIP6, Jussieu, à Paris.