Rapport d’évaluation FR

IRIF - Institut de recherche en informatique fondamentale

Type : Rapport d’évaluation d’une entité de recherche
Campagne d'évaluation : 2017-2018 (vague D) - Publié le : 30/05/2018
Établissement(s) concerné(s) : Université Paris Diderot - Paris 7 , Centre national de la recherche scientifique - CNRS
Domaine(s) disciplinaire(s) de recherche : Sciences et technologie (ST); ST6 Sciences et technologies de l'information et de la communication; ST1 Mathématiques
Domaine(s) scientifique(s) : 1 - Mathématiques et leurs interactions
Panel (ERC) : LS1_1 Molecular biology and interactions;
Nom des équipes de l'unité : Algorithmes et Complexité; Combinatoire; Systèmes Complexes, Réseaux, Calcul Distribué; Théorie et Algorithmes des Graphes; Automates et applications; Modélisation et vérification; Preuves et programmes; Algèbre et calcul; Analyse et conception de systèmes
Mots clés : complexité; combinatoire; théorie des automates; algorithmique; sémantique; logique; vérification

Télécharger le fichier