Le blog de Yves.Ledru

Visite de Airbus et Session posters

L'après-midi de cette première journée a notamment été consacrée à une visite du site d'assemblage des Airbus 380 et à une session posters autour d'un cocktail.

Conférence invitée : Romain Rouvoy

La première conférence invitée de ces journées 2018 était donnée par Romain Rouvoy (Université de Lille) et s'intitulait "Quels défis pour le développement durable des logiciels?". Ses transparents sont disponibles ici.

Ouverture des Journées Nationales 2019

Les Journées Nationales 2019 du GDR GPL ont été ouvertes ce mardi 11 juin par Pierre-Etienne Moreau, accompagné des organisateurs toulousains : Aurélie Hurault et Yamine Ait Ameur. 120 personnes sont attendues cette semaine.

Les lauréats du Prix de thèse GDR GPL 2018

Le jury du Prix GDR GPL, présidé par Pascale Le Gall, a décidé d’attribuer le Prix de thèse GDR GPL 2018 à Martin Clochard pour sa thèse intitulée "Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels"  réalisée à l'Université Paris-Saclay, sous la direction scientifique de Claude Marché et Andrei Paskevich.

Journées Nationales 2019 - ouverture des inscriptions

Les inscriptions pour les journées nationales du GDR GPL 2019  (du 11 au14 juin à Toulouse) sont ouvertes.

http://gdr-gpl-2019.enseeiht.fr/inscription.html

Tarif réduit jusqu'au 26 mai 2019.

Journées Nationales 2019

Les journées Nationales 2019 du GDR GPL auront lieu à Toulouse du 11 au 14 juin 2019.

Le site web de ces journées est à l'url suivant :

http://gdr-gpl-2019.enseeiht.fr/

Retour sur les journées nationales 2018

Les 10es Journées Nationales du GDR GPL se sont tenues à Grenoble, dans les locaux de l'IUT2 (UGA), du 12 au 15 juin 2018. Elles ont réuni près de 120 personnes et étaient colocalisées avec AFADL, CAL et CIEL.

Vous retrouverez ci-dessous toute l'information sur ces journées, leurs actes, les sessions invitées, la table ronde consacrée à l'Ingénierie des Exigences, les prix de la meilleure thèse 2017 et du meilleur poster.

Clôture des journées GPL 2018

Les journées GPL se sont terminées ce vendredi midi avec les deux dernières sessions de la conférence CAL/CIEL.

Un grand merci à toute l'équipe grenobloise pour l'organisation, aux membres des comités de programme et groupes de travail pour la préparation du programme, aux orateurs et aux participants !

 

Prix du meilleur poster GPL 2018

Le prix du meilleur poster a été décerné à Antoine El-Hokayem (LIG) et Yliès Falcone (LIG) pour leur poster intitulé "THEMIS: A Tool for the Design, Development, and Analysis of Decentralized Monitoring Algorithms".

Il leur a été remis par Frédéric Dadeau (FEMTO-ST) président du jury du meilleur poster.

Conférence invitée de David Monniaux

La troisième conférence invitée prenait la forme d'un tutoriel, donné par David Monniaux et intitulé "SMT-solving initiation". Ses transparents sont disponibles ici.

Pages

S'abonner à RSS - Le blog de Yves.Ledru