Skip to content
Labex DigiCosme
  • About us
    • Contact
    • Labex DigiCosme presentation
    • Partners
    • Legal notice & credits
    • Organization
      • Organization chart
      • Steering committee
      • Scientific board
      • Executive board
      • Research & innovation committee
      • Education committee
  • Research & Innovation
    • Active working groups
    • Research axis and actions
    • ScilEx
    • ComEx
    • IID (ex DataSense)
    • Hot topics
    • Innovation
    • Funded actions
    • Research Days
  • Education
    • Actions
    • Master scholarships
    • Invited professors
    • ISN competition
    • Spring schools
    • JDSE
    • JWOC
  • Call for Projects
    • Open call for projects
    • Selection process
    • Past Calls
  • Publications
    • ScilEx publications
    • ComEx publications
    • IID-DataSense publications
  • Intranet
  • Français
Menu Close
  • About us
    • Contact
    • Labex DigiCosme presentation
    • Partners
    • Legal notice & credits
    • Organization
      • Organization chart
      • Steering committee
      • Scientific board
      • Executive board
      • Research & innovation committee
      • Education committee
  • Research & Innovation
    • Active working groups
    • Research axis and actions
    • ScilEx
    • ComEx
    • IID (ex DataSense)
    • Hot topics
    • Innovation
    • Funded actions
    • Research Days
  • Education
    • Actions
    • Master scholarships
    • Invited professors
    • ISN competition
    • Spring schools
    • JDSE
    • JWOC
  • Call for Projects
    • Open call for projects
    • Selection process
    • Past Calls
  • Publications
    • ScilEx publications
    • ComEx publications
    • IID-DataSense publications
  • Intranet
  • Français

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 March @ 12h00 CET
My Tweets
Copyright - OceanWP Theme by Nick