Soumis par Julien.Signoles le 28 Juin, 2024 - 18:01
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.
Les journées GPL 2025 auront lieu à Pau en juin 2025.
Nous vous donnerons des dates plus précises dès qu'elles seront connues.
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.
Soumis par Adel.Noureddine le 12 Juin, 2024 - 15:27
Le "ecoCode challenge" a eu lieu les 29 et 30
Soumis par Adel.Noureddine le 12 Juin, 2024 - 15:25
L’objectif de cette école d’été est d'inviter les meilleurs experts scientifiques en Green I.T. ou numérique responsable du moment à venir partager l’état des connaissances et de la pratique avec ceux qui font et feront le numérique responsable de demain.
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.
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.
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.
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.
