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

ERC

MATHFOR

Project ID: 247219
Finanziato nell'ambito di

Formalization of Constructive Mathematics

Dal 2010-04-01 al 2015-03-31, progetto concluso

Dettagli del progetto

Costo totale:

EUR 1 912 288

Contributo UE:

EUR 1 912 288

Coordinato in:

Sweden

Invito a presentare proposte:

ERC-2009-AdGSee other projects for this call

Meccanismo di finanziamento:

ERC-AG - ERC Advanced Grant

Obiettivo

Informazioni correlate

Ricercatore principale

Thierry Coquand
Tel.: +46 31-7721030
Fax: +46 31-772 36 63
E-mail

Istituzione ospitante

GOETEBORGS UNIVERSITET
Sweden

Contributo UE: EUR 1 912 288


VASAPARKEN
405 30 GOETEBORG
Sweden
Activity type: Higher or Secondary Education Establishments
Contatto amministrativo: Ludde Edgren
Tel.: +46-31-7862783
Fax: +46-31-7864355
E-mail

Beneficiari

GOETEBORGS UNIVERSITET
Sweden

Contributo UE: EUR 1 912 288


VASAPARKEN
405 30 GOETEBORG
Sweden
Activity type: Higher or Secondary Education Establishments
Contatto amministrativo: Ludde Edgren
Tel.: +46-31-7862783
Fax: +46-31-7864355
E-mail

To know more