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 readingA la demande du CNRS, le Conseil Scientifique et le Bureau du GDR GPL ont préparé un document synthétique de prospective qui identifie les évolutions significatives de notre discipline, les thématiques émergentes, les enjeux sociétaux et les relations du GDR avec les autres disciplines (de l’INS2I et au-delà).
Welcome to WordPress. This is your first post. Edit or delete it, then start writing!
Le “ecoCode challenge” a eu lieu les 29 et 30 mai 2024à Paris. Près de 150 personnes au total ont ainsi contribué à la solution open source ecoCode, un plugin SonarQube pour l’éco-conception logicielle, porté coté recherche par Olivier Le Goaër.
Pour en savoir plus : Site web
Les 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/
