Le jury du prix de thèse du GDR GPL, présidé par Pascal Poizat, a attribué un prix de thèse et deux accessits.
Le prix de thèse GPL 2023 est attribué à Xavier Denis pour sa thèse intitulée "Deductive Verification for Rust Programs".
https://thesegpl2022.sciencesconf.org -- date limite de candidature : 17 février 2023
Créé en 2013 pour récompenser chaque année une excellente thèse préparée au sein du Groupement de Recherche Génie de la Programmation et du Logiciel (GDR GPL), ce prix a pour objectif de promouvoir les travaux du GDR GPL auprès de la communauté informatique, qu'ils soient fondamentaux ou appliqués.
Le jury du prix de thèse du GDR GPL, présidé par Pascal Poizat, a attribué un prix de thèse et deux accessits.
Le prix de thèse 2021 du GDR GPL est attribué à Antoine Pietri (Software Heritage/Inria) pour sa thèse intitulée "Analyse du graphe de développement logiciel mondial" (transparents)
Les accessits sont attribués à
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.
Pages
