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.
Soumis par Frederic.Dadeau le 24 Avril, 2019 - 10:39
Les prochaines journées nationales du GDR GPL se dérouleront du 11 au 14 juin 2019 à Toulouse. Elles seront co-localisées avec AFADL, CAL et CIEL :
http://gdr-gpl-2019.enseeiht.fr
Pour encourager chacun à participer activement à ces journées, nous lançons un premier appel à posters et à démos.
Soumis par Jacques.Malenfant le 16 Avril, 2019 - 09:44
SHARC2019, 14th National Conference on Software and Hardware Architectures for Robots Control
July 9th - 10th 2019
LIRMM, Montpellier, France
https://sharc2019.sciencesconf.org
DESCRIPTION
Cher(e)s collègues,
La journée de travail des groupes GLE et RIMEL et l'action spécifique LOUISE du GdR GPL aura lieu ce 12 avril 2019 à Bordeaux.
Cette journée s'annonce passionnante. Voici la liste des sujets abordés et des orateurs :
Les inscriptions à l'EJCP 2019 sont maintenant ouvertes.
http://ejcp2019.icube.unistra.fr
Les frais d'inscription sont particulièrement bas cette année (275 euros tout compris).
Profitez-en !
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/
Après la session organisée dans le cadre des journées nationales du GdR GPL à Grenoble en Juin dernier, les groupes GLE et RIMEL et l'action spécifique LOUISE du GdR GPL organisent une journée de travail le 12 avril 2019 à Bordeaux.
C'est un événement important de la vie de nos groupes. Aussi, nous vous invitons chaleureusement à venir présenter vos derniers travaux et à échanger sur les thèmes du Génie Logiciel Empirique, de la Rétro-Ingénierie, de la Maintenance et de l'Evolution des Logiciels et des Lignes de Produits Logiciels.
Pages
