INFORMATIONS
Présentation de l'IRIF
Contacts et accès
Charte des membres de l’IRIF
Egalité Femmes-Hommes à l'IRIF
Annuaire
Programme visiteurs
RECHERCHE
Algorithmes et structures discrètes
Algorithmes et complexité
Calcul distribué
Combinatoire
Théorie et algorithmique des graphes
Automates, structures et vérification
Automates et applications
Modélisation et vérification
Preuves, programmes et systèmes
Algèbre et calcul
Analyse et conception de systèmes
Preuves et programmes
$\pi r^2$ (Inria)
ÉVÉNEMENTS
Evénements de l'IRIF
ICALP 2022
IRIF Distinguished Talks Series
Journées de l'IRIF
Rencontres de pôle
Séminaires de recherche
Algorithmes et complexité
Algorithmes et structures discrètes
Automates
Combinatoire énumérative et analytique
Graphes et calcul distribué
Preuves, programmes et systèmes
Vérification
Séminaire des doctorants
Séminaires en ligne
Graph Transformation Theory and Applications
One world numeration seminar
Groupes de travail
Analyse et conception de systèmes
Catégories supérieures, polygraphes et homotopie
Logique, automates, algèbre et jeux
Programmation
Sémantique
Théorie des types et réalisabilité
Soutenances
Soutenances de thèses
Soutenances d'habilitation
POINTS CLÉS
Prix et distinctions
Logiciels
Contrats
Collaborations internationales
L'école thématique EPIT
Formation
OPPORTUNITÉS
Soutien à la recherche
Enseignant·e·s-chercheurs·euses
Chercheurs·euses
Postdocs
ATER
Thèses
Stages de master
Stages scolaires d’observation
INTRANET
Traductions de cette page
Traductions de cette page
Français
English
Développer/Réduire
S'identifier
Soutenances
Soutenances de thèses
Soutenances d'habilitation