Prix de thèse GPL 2021 (page du prix)
décerné par le GDR GPL
date limite de candidature : 14 février 2022
Les lauréats du Prix de thèse GPL 2020 ont été invités à présenter leurs travaux lors des journées nationales 2021. Le jury du prix de thèse 2020 était présidé par Pascale Le Gall et Pascal Poizat.
Le Prix de thèse 2020 a été attribué à Benjamin Farinier pour sa thèse intitulée "Procédures de décision pour l'analyse de vulnérabilités", réalisée au CEA LIST sous la direction de Marie-Laure Potet et Sébastien Bardin.
Prix de thèse GPL 2020 décerné par le GDR GPL
+++ Date limite de candidature : 07 février 2021 8 mars 2021 +++
Le jury du Prix GDR GPL, présidé par Pascale Le Gall, a décidé d’attribuer le Prix de thèse GDR GPL 2019 à Tommaso Petrucciani pour sa thèse intitulée "Polymorphic set-theoretic types for functional languages" préparée en cotutelle entre l’Université Paris Diderot, sous la direction de Giuseppe Castagna et entre l'Università degli Studi di Genova (Italie) sous la direction de Elena Zucca
Les journées nationales du GDR GPL 2020 ayant été annulées en raison du COVID-19, le prix sera remis lors des journées nationales du GDR GPL 2021.
Soumis par Catherine.Dubois le 31 Janvier, 2020 - 23:09
Prix de thèse GPL 2019
CALENDRIER
* 9 février 2020 : date limite de dépôt du dossier de candidature
* 6 mai 2020 : notification des résultats
* 16 au 19 au juin 2020 : Journées du GDR GPL
Les lauréats du prix de thèse GPL 2018 ont reçu leur prix à l'occasion des journées nationales GPL 2019.
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.
Cette année, le jury du prix de thèse du GDR GPL a examiné 10 soumissions. A l'issue de ce concours, deux candidats ont été distingués. Catherine Dubois et Pascale Le Gall, co-Présidentes du jury, ont remis leurs prix aux lauréats à l'occasion des journées GPL2018.
Soumis par Catherine.Dubois le 17 Mai, 2018 - 11:25
Le jury du Prix GDR GPL, présidé par Catherine Dubois et Pascale Le Gall, a décidé d’attribuer le Prix de thèse GDR GPL 2017 à Gwendal Daniel pour sa thèse intitulée "Efficient Persistence, Query, and Transformation of Large Models", préparée à l'IMT Atlantique, sous la direction scientifique de Jordi Cabot et Gerson Sunyé.
Soumis par Catherine.Dubois le 23 Décembre, 2017 - 16:55
Décerné par le GDR GPL
Date limite de candidature : 31 janvier 2018 prolongée jusqu'au 15 février 2018
Le GDR GPL souhaite, par ce prix, promouvoir tous les travaux du GDR GPL, que ce soient des travaux fondamentaux ou des travaux appliqués ayant donné lieu à transfert industriel, à des logiciels, à des brevets, réalisés au sein d'une ou plusieurs équipes du GDR. L'objectif de ce prix est de faire connaître à l'ensemble de la communauté informatique d'excellents travaux de recherche.
Pages
