HDR : soutenance de Rémi Cozot

Rémi Cozot présentera ses travaux en vue de l’habilitation à diriger des recherches en informatique.