INFORMATIONS
Présentation
Contacts et accès
Charte des membres de l’IRIF
Égalités
Environnement
Annuaire
Programme de mentorat
Childcare program
Évaluation HCERES - 28 au 30 Novembre 2023 (vague D)
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
Programmes et Langages (PL)
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
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
Catégories supérieures, polygraphes et homotopie
Graphes et Logique
La syntaxe rencontre la sémantique
La théorie des types et la théorie de l'homotopie
Logique, automates, algèbre et jeux
Programmation
Sémantique
Théorie des Topos
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
REJOIGNEZ-NOUS
Programme visiteurs
Postes 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
Résultats du QCM
Identifiant :
Code secret :