• 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
    • frFrançais
    • enEnglish
  • S'identifier

Sylvain Perifel

Sylvain Perifel

Homepage in English

Accueil

Publications

Complexité algorithmique (livre)

Enseignement

Vulgarisation scientifique

Conférences, workshops, revues

Sylvain Perifel

Homepage in English

Accueil

Publications

Complexité algorithmique (livre)

Enseignement

Vulgarisation scientifique

Conférences, workshops, revues

Mentions légales