Forschungs- & Entwicklungsinformationsdienst der Gemeinschaft - CORDIS

ERC

CoqHoTT

Project ID: 637339
Gefördert unter

Coq for Homotopy Type Theory

Von 2015-06-01 bis 2020-05-31, Laufendes Projekt

Projektdetails

Gesamtkosten:

EUR 1 498 290

EU-Beitrag:

EUR 1 498 290

Koordiniert in:

France

Aufruf zur Vorschlagseinreichung:

ERC-2014-STGSee other projects for this call

Finanzierungsprogramm:

ERC-STG - Starting Grant

Ziel

Gasteinrichtung

INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE
France

EU-Beitrag: EUR 1 498 290


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

Empfänger

INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE
France

EU-Beitrag: EUR 1 498 290


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

To know more

Datensatznummer: 193485 / Zuletzt geändert am: 2016-05-30