Toutes les annonces

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.

 

Journées Nationales GPL2025

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.

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

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

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

D'ici là, une version provisoire est disponible ici.

 

Hackathon sur le projet R&D ecoCode (3e edition)

Le "ecoCode challenge" a eu lieu les 29 et 30

L'édition 2024 de l'école d’été Green IT - Numérique Responsable

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.

Clôture des Journées Nationales 2024

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

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é

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

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.

Pages

S'abonner à RSS - blogs