INFORMATIONS
Présentation
Contacts et accès
Charte des membres de l’IRIF
Egalité Femmes-Hommes
Annuaire
Programme de mentorat
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
Picube (Inria)
PUBLICATIONS (hal)
ÉVÉNEMENTS
Evénements de l'IRIF
IRIF Distinguished Talks Series
Journées de l'IRIF
Rencontres de pôles
Commission IRIF et environnement
Séminaires de recherche
Algorithmes et complexité
Algorithmes et structures discrètes
Automates
Combinatoire énumérative et analytique
Séminaire Formath (Formalized Mathematics)
Graphes et calcul distribué
Preuves, programmes et systèmes
Vérification
Séminaire des membres non-permanents
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
La syntaxe rencontre la sémantique
Logique, automates, algèbre et jeux
Programmation
Sémantique
Théorie des types et réalisabilité
Soutenances
Soutenances de thèses
Soutenances d'habilitation
MÉDIATION
Fête de la Science
Conférence vidéo “Manuel de Cryptanalyse à l’usage de la NSA”
Stages scolaires d’observation
Portraits de recherche
Exposition 50 ans
Projet QuBOBS (quantum computing explained)
POINTS CLÉS
Prix et distinctions
Logiciels
Contrats
Collaborations internationales
L'école thématique EPIT
Formation
OPPORTUNITÉS
Programme visiteurs
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
S'identifier
Soutenances
Soutenances de thèses
Soutenances d'habilitation