Tous les articles relatifs à GPL2024

Retour sur les journées nationales GPL 2024 (Strasbourg)

Portrait de Yves.Ledru
Soumis par Yves.Ledru le 28 Juin, 2024 - 11:44

Les 15es Journées Nationales du GDR GPL se sont tenues à Strasbourg du 3 au 6 juin 2024. Elles ont réuni près de 120 personnes et étaient colocalisées avec AFADL.

Actes des journées nationales 2024

Portrait de Yves.Ledru
Soumis par Yves.Ledru le 28 Juin, 2024 - 11:43

Les actes des journées nationales GPL2024 sont disponibles sur ce site.

 

Clôture des Journées Nationales 2024

Portrait de Yves.Ledru
Soumis par Yves.Ledru le 6 Juin, 2024 - 22:26

Catherine Dubois a clôturé les journées nationales GPL2024 ce jeudi 6 juin.

Un grand merci aux organisateurs locaux : Nicolas Magaud, Arthur Charguéraud, Julien Narboux, Amélie Ledein, Pierre Boutry et leur équipe!

Un grand merci également à tous les membres du GDR qui ont participé à ces journées et à leur préparation.

Conférence invitée de Sophie Tourret

Portrait de Yves.Ledru
Soumis par Yves.Ledru le 6 Juin, 2024 - 11:52

La troisième conférence invitée, partagée avec AFADL, était donnée par Sophie Tourret (LORIA)

Elle était intitulée "The How and Why of Higher-Order SMT for Prospective Users".

Ses transparents sont disponibles ici.

Soirée de gala à l'Art Café

Portrait de Yves.Ledru
Soumis par Yves.Ledru le 6 Juin, 2024 - 11:41

La soirée de gala réunissait les participants à l'Art Café, sur la terrasse du musée d'art moderne qui offre une vue magnifique sur la ville de Strasbourg.

AG 2024 du GDR GPL

Portrait de Yves.Ledru
Soumis par Yves.Ledru le 6 Juin, 2024 - 11:34

La troisième journée s'est terminée par l'AG du GDR GPL, animée par les co-directrices du GDR GPL.

Leurs transparents sont disponibles ici. On y annonce notamment le lieu des prochaines journées nationales et plusieurs actions en cours.

Prix du meilleur poster 2024

Portrait de Yves.Ledru
Soumis par Yves.Ledru le 6 Juin, 2024 - 11:30

Une dizaine de posters ont été présentés lors de ces journées nationales 2024. Un jury présidé par Thomas Degueule a décerné le prix du meilleur poster à Selena Lamari (Université de Montpelier et Université de Blida (Algérie) pour son poster intitulé "Assistance à l’ingénierie de logiciels pour mieux protéger la vie privée des utilisateurs".

Conférence invitée de Mathieu Acher

Portrait de Yves.Ledru
Soumis par Yves.Ledru le 5 Juin, 2024 - 14:50

La deuxième conférence invitée de ces journées GPL2024 était donnée par Mathieu Acher (Professeur à l'INSA Rennes).

Elle était intitulée "Deep Software Variability and Frictionless Reproducibility". Ses transparents sont disponibles ici.

Prix de thèse GPL2023

Portrait de Yves.Ledru
Soumis par Yves.Ledru le 4 Juin, 2024 - 18:28

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".

Conférence invitée de Florence Maraninchi

Portrait de Yves.Ledru
Soumis par Yves.Ledru le 4 Juin, 2024 - 11:41

La deuxième journée des Journées GPL2024 a commencé par une conférence invitée de Florence Maraninchi, Professeur à l'ENSIMAG (Grenoble),

Sa présentation s'intitulait "Planetary Limits, Anti-Limits in Computer Systems And The Missing Scenarios".

Ses transparents sont disponibles ici.

Pages