Community Research and Development Information Service - CORDIS

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

Host Institution

TECHNISCHE UNIVERSITAET WIEN
Austria

EU contribution: EUR 1 500 000


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

Beneficiaries

TECHNISCHE UNIVERSITAET WIEN
Austria

EU contribution: EUR 1 500 000


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

To know more

Record Number: 197841 / Last updated on: 2016-06-20
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top