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

ERC

SYMCAR

Project ID: 639270
Finanziato nell'ambito di

Symbolic Computation and Automated Reasoning for Program Analysis

Dal 2016-04-01 al 2021-03-31, progetto in corso

Dettagli del progetto

Costo totale:

EUR 1 500 000

Contributo UE:

EUR 1 500 000

Coordinato in:

Austria

Invito a presentare proposte:

ERC-2014-STGSee other projects for this call

Meccanismo di finanziamento:

ERC-STG - Starting Grant

Obiettivo

Istituzione ospitante

TECHNISCHE UNIVERSITAET WIEN
Austria

Contributo UE: EUR 1 500 000


Karlsplatz 13
1040 WIEN
Austria
Activity type: Higher or Secondary Education Establishments

Beneficiari

TECHNISCHE UNIVERSITAET WIEN
Austria

Contributo UE: EUR 1 500 000


Karlsplatz 13
1040 WIEN
Austria
Activity type: Higher or Secondary Education Establishments

To know more

Numero di registrazione: 197841 / Ultimo aggiornamento: 2016-06-20