Les équipes de recherche d'Inria produisent un rapport d'activité annuel présentant leurs activités et leurs résultats de l'année. Ces rapports incluent les membres de l'équipe, le programme scientifique, le logiciel développé par l'équipe et les nouveaux résultats de l'année. Le rapport décrit également les subventions, les contrats et les activités de diffusion et d'enseignement. Enfin, le rapport donne la liste des publications de l'année.
FRANCAIS
ANGLAIS
Jacopo Mauro's PhD thesis, entitled "Constraints meet concurrency", has been awarded a price as the best dissertation for the two years 2010 and 2011 by the Italian Association for Logic Programming (GULP).