Appel à soumissions : prix de thèse du GDR SciLog (ex-GPL) 2026

Comme chaque année depuis 2013, nous lançons un appel à soumissions pour le prix de thèse du GDR Génie de la Programmation et du Logiciel (GPL), récemment renommé en GDR Sciences du Logiciel (SciLog).
Ce prix a pour objectif de promouvoir les travaux du GDR auprès de la communauté informatique, qu’ils soient fondamentaux ou appliqués. La remise du prix aura lieu en juin lors des prochaines journées nationales. Les thèmes scientifiques du GDR sont présentés dans les motivations et enjeux du GDR (https://gdr-gpl.cnrs.fr/?page_id=18) et développés dans le cadre des groupes de travail qui le composent (https://gdr-gpl.cnrs.fr/?page_id=27). Plus généralement il s’agit des enjeux associés aux sciences du logiciel.
Les candidatures sont à déposer d’ici le 16 mars sur le site
 https://gdrgpl-prixthese2026.limos.fr/ 
qui ouvrira fin février.Les résultats seront notifiés le 22 mai.
Les thèses éligibles sont celles soutenues en 2025 dans une école ou université française. Toute candidature devra être explicitement soutenue par les encadrants de thèse affiliés à une équipe du GDR SciLog (ex-GPL). Un encadrant ne peut soutenir qu’une seule candidature.

La dossier de candidature est volontairement léger. Il consiste en un unique fichier pdf qui DEVRA comprendre :

  • une lettre de présentation de la candidature, avec cv, production scientifique (publications, logiciels, preuves, jeux de données) et description de l’association au GDR SciLog (ex-GPL),
  • sous forme de liens cliquables : la thèse (en pdf), les transparents de la soutenance,
  • sous forme de liens cliquables ou intégrés au dossier : les rapports de pré-soutenance et de soutenance,
  • intégrée au dossier ou envoyée directement à la présidente du jury : une lettre des encadrant.e.s appuyant la candidature.

Le dossier de candidature PEUT comprendre aussi, le cas échéant, et si l.a.e candidat.e le juge pertinent :

  • sous forme de lien cliquable : vidéo de la soutenance,
  • sous forme de liens cliquables (serveurs git, Zenodo, Archive of Formal Proofs, etc) : logiciels, preuves, jeux de données,
  • intégrés au dossier ou sous forme de liens cliquables : des rapports complémentaires que l.a.e candidat.e jugerait utile de fournir au jury.

Les critères pris en compte par le jury sont notamment l’originalité, l’importance et l’impact de la production scientifique, ainsi que la qualité de la rédaction du manuscrit.

Sandrine Blazy
Présidente du jury