Service Communautaire d'Information sur la Recherche et le Développement - CORDIS

ERC

CoqHoTT

Project ID: 637339
Financé au titre de

Coq for Homotopy Type Theory

De 2015-06-01 à 2020-05-31, projet en cours

Détails concernant le projet

Coût total:

EUR 1 498 290

Contribution de l'UE:

EUR 1 498 290

Coordonné à/au(x)/en:

France

Appel à propositions:

ERC-2014-STGSee other projects for this call

Régime de financement:

ERC-STG - Starting Grant

Objectif

Informations connexes

Institution d'accueil

INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE
France

Contribution de l'UE: EUR 1 498 290


DOMAINE DE VOLUCEAU ROCQUENCOURT
78153 LE CHESNAY CEDEX
France
Activity type: Research Organisations

Bénéficiaires

INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE
France

Contribution de l'UE: EUR 1 498 290


DOMAINE DE VOLUCEAU ROCQUENCOURT
78153 LE CHESNAY CEDEX
France
Activity type: Research Organisations

To know more

Numéro d'enregistrement: 193485 / Dernière mise à jour le: 2016-05-30