Skip to content
Labex DigiCosme
  • À propos
    • Contact
    • Présentation Labex DigiCosme
    • Partenaires
    • Mentions légales et crédits
    • Organisation
      • Organigramme
      • Comité des tutelles
      • Comité scientifique
      • Comité exécutif
      • Commission Recherche et Innovation
      • Commission de Formation
  • Recherche et Innovation
    • Groupes de travail actifs
    • Axes de Recherche & actions
    • Axe SciLex
    • Axe ComEx
    • Axe IID (ex Datasense)
    • Sujets chauds
    • Innovation
    • Actions financées
    • Journées recherche
  • Formation
    • Actions
    • Bourses Master
    • Professeur invités
    • Concours ISN
    • Écoles de Printemps
    • JDSE
    • JWOC
  • Appel à projets
    • Appel à projets en cours
    • Processus de sélection
    • Historique des appels
  • Publications
    • Publications SciLex
    • Publications ComEx
    • Publications IID-DataSense
  • Intranet
  • English
Menu Fermer
  • À propos
    • Contact
    • Présentation Labex DigiCosme
    • Partenaires
    • Mentions légales et crédits
    • Organisation
      • Organigramme
      • Comité des tutelles
      • Comité scientifique
      • Comité exécutif
      • Commission Recherche et Innovation
      • Commission de Formation
  • Recherche et Innovation
    • Groupes de travail actifs
    • Axes de Recherche & actions
    • Axe SciLex
    • Axe ComEx
    • Axe IID (ex Datasense)
    • Sujets chauds
    • Innovation
    • Actions financées
    • Journées recherche
  • Formation
    • Actions
    • Bourses Master
    • Professeur invités
    • Concours ISN
    • Écoles de Printemps
    • JDSE
    • JWOC
  • Appel à projets
    • Appel à projets en cours
    • Processus de sélection
    • Historique des appels
  • Publications
    • Publications SciLex
    • Publications ComEx
    • Publications IID-DataSense
  • Intranet
  • English

2019 | TacticTHo

2019 | TacticTHo

Tactiques de preuve pour formaliser des modèles de la théorie des types homotopiques en déduction modulo réécriture 

Axe : SciLex
Coordinateurs : Bruno Barras, LSV – Georges Gonthier, Inria – Samuel Mimram, LIX

Institution : ENS Paris-Saclay
Chercheur postdoctoral : Rehan Malak
Adresse mail : rehan.malak@inria.fr
Laboratoire gestionnaire: LSV
Adossé à l’action DigiCosme : GT UPSCaLe
Durée & Dates de la mission : 1 an

  • Deadline – Application for Ingoing Mobility Grant

    Ces bourses d’excellence concerneront, comme les années précédentes des étudiants souhaitant s...

    12 mars @ 12h00 CET
Mes tweets
Copyright - OceanWP Theme by Nick