Wspólnotowy Serwis Informacyjny Badan i Rozwoju - CORDIS

ERC

CoqHoTT

Project ID: 637339
Źródło dofinansowania

Coq for Homotopy Type Theory

Od 2015-06-01 do 2020-05-31, projekt w toku

Dane projektu

Całkowity koszt:

EUR 1 498 290

Wkład UE:

EUR 1 498 290

Kraj koordynujący:

France

Zaproszenie do składania wniosków:

ERC-2014-STGSee other projects for this call

System finansowania:

ERC-STG - Starting Grant

Cel

Instytucja przyjmująca

INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE
France

Wkład UE: EUR 1 498 290


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

Beneficjenci

INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE
France

Wkład UE: EUR 1 498 290


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

To know more

Numer rekordu: 193485 / Ostatnia aktualizacja: 2016-05-30