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 2024 est attribué à Xavier Denis pour sa thèse intitulée “Deductive Verification for Rust Programs”.
Ses transparents sont disponibles ici.
Continue readingLes journées nationales GPL 2024 ont été ouvertes ce lundi 3 juin 2024 par Nicolas Magaud, et son équipe d’organisateurs locaux, ainsi que les co-directrices du GDR : Mireille Blay et Catherine Dubois.
Le programme est disponible sur le site des journées nationales : https://gdrgpl2024.sciencesconf.org/
