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
Submission of an Inria associate team proposal THOR (complexity Theory at Higher ORder) in collaboration with Syracuse University, Wesleyan University (Royer, Danner, Ramyaa Ramyaa) and Egypt-Japan University (Walid Gomaa).