Wspólnotowy Serwis Informacyjny Badan i Rozwoju - CORDIS

ERC

MATHFOR

Project ID: 247219
Źródło dofinansowania

Formalization of Constructive Mathematics

Od 2010-04-01 do 2015-03-31, projekt zakończony

Dane projektu

Całkowity koszt:

EUR 1 912 288

Wkład UE:

EUR 1 912 288

Kraj koordynujący:

Sweden

Zaproszenie do składania wniosków:

ERC-2009-AdGSee other projects for this call

System finansowania:

ERC-AG - ERC Advanced Grant

Cel

Powiązane informacje

Kierownik naukowy

Thierry Coquand
Tel.: +46 31-7721030
Faks: +46 31-772 36 63
Adres e-mail

Instytucja przyjmująca

GOETEBORGS UNIVERSITET
Sweden

Wkład UE: EUR 1 912 288


VASAPARKEN
405 30 GOETEBORG
Sweden
Activity type: Higher or Secondary Education Establishments
Kontakt administracyjny: Ludde Edgren
Tel.: +46-31-7862783
Faks: +46-31-7864355
Adres e-mail

Beneficjenci

GOETEBORGS UNIVERSITET
Sweden

Wkład UE: EUR 1 912 288


VASAPARKEN
405 30 GOETEBORG
Sweden
Activity type: Higher or Secondary Education Establishments
Kontakt administracyjny: Ludde Edgren
Tel.: +46-31-7862783
Faks: +46-31-7864355
Adres e-mail

To know more

Śledź nas na: RSS Facebook Twitter YouTube Zarządzany przez Urząd Publikacji UE W górę