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