Prix de thèse GPL2022

Le jury du prix de thèse du GDR GPL, présidé par Pascal Poizat, a attribué un prix de thèse et un accessit.

Le prix de thèse GPL 2022 est attribué à Paulo Emilio de Vilhena pour sa thèse intitulée "Preuve de programmes avec effect handlers".

Ses transparents sont disponibles ici.

Le premier accessit est attribué à Faezeh Khorram pour sa thèse intitulée "Un environnement de test pour les langages dédiés exécutables";

Ses transparents sont disponibles ici.