Servizio Comunitario di Informazione in materia di Ricerca e Sviluppo - CORDIS

ERC

CoqHoTT

Project ID: 637339
Finanziato nell'ambito di

Coq for Homotopy Type Theory

Dal 2015-06-01 al 2020-05-31, progetto in corso

Dettagli del progetto

Costo totale:

EUR 1 498 290

Contributo UE:

EUR 1 498 290

Coordinato in:

France

Invito a presentare proposte:

ERC-2014-STGSee other projects for this call

Meccanismo di finanziamento:

ERC-STG - Starting Grant

Obiettivo

Istituzione ospitante

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
France

Contributo UE: EUR 1 498 290


Domaine de Voluceau, Rocquencourt
78153 LE CHESNAY Cedex
France
Activity type: Research Organisations

Beneficiari

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
France

Contributo UE: EUR 1 498 290


Domaine de Voluceau, Rocquencourt
78153 LE CHESNAY Cedex
France
Activity type: Research Organisations

To know more

Numero di registrazione: 193485 / Ultimo aggiornamento: 2016-05-30