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
- Planning de la Journée commune du GDR RADIA et du GT IE du GDR GPL – 21 Novembre 2024Le 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 … Continue reading
- Programme de la Journée GT Logiciel Eco-Responsable à MontpellierUn 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 sustainability11:00 – 11:30 Adel Noureddine (UPPA), Analyzing Software Energy Consumption11:40 – 12:10 Quentin Perez (IRISA), Software … Continue reading
- Journée MTV2 le 21.11.2024 à l’EPITA, Le Kremlin-BicêtreLa 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 concoursCatherine 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ériquesLe 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 2024La 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 GPL2023Le 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 GPLA 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 programmeLes 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 à PalaiseauLes 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 UglyEn 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-SEDMardi 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-SaclayLa 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 LVPLes 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 2023Le 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