Service Communautaire d'Information sur la Recherche et le Développement - CORDIS

ERC

SYMCAR

Project reference: 639270
Funded under

Symbolic Computation and Automated Reasoning for Program Analysis

From 2016-04-01 to 2021-03-31, ongoing project

Project details

Total cost:

EUR 1 500 000

EU contribution:

EUR 1 500 000

Coordinated in:

Austria

Call for proposal:

ERC-2014-STGSee other projects for this call

Funding scheme:

ERC-STG - Starting Grant

Objective

Related information

Open Access

Host Institution

TECHNISCHE UNIVERSITAET WIEN
Austria

EU contribution: EUR 1 500 000


KARLSPLATZ 13
1040 WIEN
Austria

Beneficiaries

TECHNISCHE UNIVERSITAET WIEN
Austria

EU contribution: EUR 1 500 000


KARLSPLATZ 13
1040 WIEN
Austria

To know more

Record Number: 197841 / Last updated on: 2016-06-20