Le blog de Yves.Ledru

Prix de thèse GPL 2018

Les lauréats du prix de thèse GPL 2018 ont reçu leur prix à l'occasion des journées nationales GPL 2019.

Ouverture d'AFADL'19

Les conférences AFADL et CIEL sont colocalisées avec les Journées Nationales du GDR GPL.
Ainsi AFADL a été ouvert ce mercredi matin par David Chemouil et Thomas Lambolais.

Conférence invitée : Alan Schmitt

La conférence invitée de ce mercredi était donnée par Alan Schmitt (INRIA Rennes) et était intitulée "Sémantiques Formelles de JavaScript". Ses transparents sont disponibles ici.

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.

Pages

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