Toutes les annonces

Ouverture des Journées Nationales 2022

Portrait de Yves.Ledru
Soumis par Yves.Ledru le 7 Juin, 2022 - 09:59

Les journées nationales 2022 ont été ouvertes ce mardi 7 juin 2022 par Mireille Blay, directrice du GDR GPL, Catherine Dubois, co-directrice du GDR GPL, et par Sandrine Blazy, directrice de l'IRISA qui nous accueille. Elles réunissent 130 participants.

Programme des journées nationales 2022

Portrait de Yves.Ledru
Soumis par Yves.Ledru le 4 Juin, 2022 - 18:35

Le programme final des journées nationales est disponible ici.

La version en ligne avec les résumés est disponible à l'URL suivant:

https://gdr-gpl-2022.sciencesconf.org/program

 

Bourses de mobilité 2022

Portrait de Yves.Ledru
Soumis par Yves.Ledru le 26 Avril, 2022 - 16:15

Le GDR Génie de la Programmation et du Logiciel propose quelques bourses de mobilité en vue de coopération entre équipes en 2022.

Séminaire de Dimitri Saingre les perspectives environnementales des blockchains

Soumis par Adel.Noureddine le 4 Avril, 2022 - 11:11

Le groupe de travail "Logiciel Éco-Responsable" vous invite à son 2e séminaire de son cycle de séminaires de 2022 autour du logiciel vert, du Green IT, de l'éco-conception et des autres thématiques de notre GT.

Séminaire de Tewfik Ziadi sur les lignes de produits logiciels verts

Soumis par Adel.Noureddine le 29 Mars, 2022 - 10:16

Le groupe de travail "Logiciel Éco-Responsable" vous invite à son 2e séminaire de son cycle de séminaires de 2022 autour du logiciel vert, du Green IT, de l'éco-conception et des autres thématiques de notre GT.

Programme de la journée MTV2 du 17 mars 2022

Soumis par Nikolai.Kosmatov le 7 Mars, 2022 - 18:34

Le programme de la journée du GT MTV2 (Méthodes de test pour la validation et la vérification) qui aura lieu

Journée MTV2 le jeudi 17 mars 2022 à Télécom SudParis à Palaiseau

Soumis par Nikolai.Kosmatov le 1 Mars, 2022 - 12:18

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

Journée llvm pour les nuls

Portrait de Kevin.Martin
Soumis par Kevin.Martin le 22 Février, 2022 - 11:41
Journée commune GPL/SOC2 d’introduction à LLVM, intitulée LLVM pour les nuls. Elle sera composée d’une introduction au framework de compilation LLVM, suivie de 3 présentations de travaux basés sur LLVM. - 14h00 - 14h30 : LLVM : un framework de compilation, mais pas que... - 14h30 - 14h45 : Échanges et questions - 14h45 - 15h15 : MemorySSA : Représentation des flux de données en mémoire - 15h15 - 15h45 : Analyses statiques pour l’optimisation et la vérification des applications parallèles - 15h45 - 16h15 : instrumentation de programmes pour l'analyse de performances - 16h15 - 16h45 : Échanges et questions

Prix de thèse GPL 2021 (Appel à candidature #2)

Portrait de Pascal.Poizat
Soumis par Pascal.Poizat le 4 Février, 2022 - 12:07

Prix de thèse GPL 2021 (page du prix)

décerné par le GDR GPL

date limite de candidature : 14 février 2022

Réunion commune GT AFSEC (Approches Formelles des Systèmes Embarqués Communicants) et IE (Ingénierie des Exigences)

Soumis par Mireille.Blay le 4 Février, 2022 - 06:52

La prochaine journée de notre groupe de travail aura lieu le mercredi 6 avril à 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.

Pages

S'abonner à RSS - blogs