Le blog de Yves.Ledru

AG 2019 du GDR GPL

Pierre Etienne Moreau a présenté l'état du GDR GPL au cours de l'Assemblée Générale qui s'est tenue ce mercredi 12 juin.

Il a également discuté son renouvellement et a annoncé la localisation des journées 2020. Ses transparents sont disponibles ici.
 

Manifeste GL

Mireille Blay-Fornarino, Jean-Michel Bruel et Jean-Marc Jezequel ont présenté les travaux d'un groupe de travail qui a préparé un manifeste pour la Recherche en Génie Logiciel. Vous pouvez le trouver à l'adresse suivante:

https://gl.frama.io/manifeste/

Les membres du GDR GPL sont invités à le lire et à l'utiliser pour promouvoir notre discipline.

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.

Pages

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