Wspólnotowy Serwis Informacyjny Badan i Rozwoju - CORDIS

ERC

CoqHoTT

Project reference: 637339
Funded under

Coq for Homotopy Type Theory

From 2015-06-01 to 2020-05-31, ongoing project

Project details

Total cost:

EUR 1 498 290

EU contribution:

EUR 1 498 290

Coordinated in:

France

Call for proposal:

ERC-2014-STGSee other projects for this call

Funding scheme:

ERC-STG - Starting Grant

Objective

Related information

Open Access

Host Institution

INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE
France

EU contribution: EUR 1 498 290


DOMAINE DE VOLUCEAU ROCQUENCOURT
78153 LE CHESNAY CEDEX
France

Beneficiaries

INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE
France

EU contribution: EUR 1 498 290


DOMAINE DE VOLUCEAU ROCQUENCOURT
78153 LE CHESNAY CEDEX
France

To know more

Record Number: 193485 / Last updated on: 2016-05-30