Actualité du Prix de Thèse GPL

Prix de thèse GPL2023

Portrait de Yves.Ledru
Soumis par Yves.Ledru le 4 Juin, 2024 - 18:28

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".

Prix de thèse du GDR GPL 2022 (annonce)

Portrait de Pascal.Poizat
Soumis par Pascal.Poizat le 24 Janvier, 2023 - 09:52

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.

Prix de thèse GPL2021

Portrait de Yves.Ledru
Soumis par Yves.Ledru le 7 Juin, 2022 - 22:15

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 (Appel à candidature #2)

Portrait de Pascal.Poizat
Soumis par Pascal.Poizat le 4 Février, 2022 - 12:07

Prix de thèse GPL 2021 (page du prix)

décerné par le GDR GPL

date limite de candidature : 14 février 2022

Prix de thèse GPL 2020

Portrait de Yves.Ledru
Soumis par Yves.Ledru le 15 Juin, 2021 - 10:41

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

Portrait de Yves.Ledru
Soumis par Yves.Ledru le 11 Janvier, 2021 - 12:13

 Prix de thèse GPL 2020 décerné par le GDR GPL

+++  Date limite de candidature : 07 février 2021  8 mars 2021 +++ 

Lauréat du prix de thèse 2019

Portrait de Yves.Ledru
Soumis par Yves.Ledru le 22 Juin, 2020 - 10:41

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.

Prix de thèse GPL 2019

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

Prix de thèse GPL 2018

Portrait de Yves.Ledru
Soumis par Yves.Ledru le 12 Juin, 2019 - 16:10

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

Les lauréats du Prix de thèse GDR GPL 2018

Portrait de Yves.Ledru
Soumis par Yves.Ledru le 8 Mai, 2019 - 20:23

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