Servicio de Información Comunitario sobre Investigación y Desarrollo - CORDIS

ERC

CoqHoTT

Project ID: 637339
Financiado con arreglo a

Coq for Homotopy Type Theory

Desde 2015-06-01 hasta 2020-05-31, proyecto en curso

Detalles del proyecto

Coste total:

EUR 1 498 290

Aportación de la UE:

EUR 1 498 290

Coordinado en:

France

Convocatoria de propuestas:

ERC-2014-STGSee other projects for this call

Régimen de financiación:

ERC-STG - Starting Grant

Objetivo

Institución de acogida

INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE
France

Aportación de la UE: EUR 1 498 290


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

Beneficiarios

INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE
France

Aportación de la UE: EUR 1 498 290


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

To know more

Número de registro: 193485 / Última actualización el: 2016-05-30