Skip to main content
EnglishEN

Automated Reasoning with Theories and Induction for Software Technology

Project description

DEENESFRITPL

A mathematical approach for reliable software engineering

Fields of science

Programme(s)

Topic(s)

Call for proposal

ERC-2020-COG

See other projects for this call

Funding Scheme

ERC-COG - Consolidator Grant

Host institution

TECHNISCHE UNIVERSITAET WIEN
Net EU contribution
€ 2 000 000,00
Address
Karlsplatz 13
1040 Wien
Austria

See on map

Region
Wien Wien
Activity type
Higher or Secondary Education Establishments
Links
Non-EU contribution
€ 0,00

Beneficiaries (1)

TECHNISCHE UNIVERSITAET WIEN
Austria
Net EU contribution
€ 2 000 000,00
Address
Karlsplatz 13
1040 Wien

See on map

Region
Wien Wien
Activity type
Higher or Secondary Education Establishments
Links
Non-EU contribution
€ 0,00

Share this page

Download

EC signature date: 18 December 2020
Last update: 18 August 2022
Record number: 232853

My Booklet

Permalink: https://cordis.europa.eu/project/id/101002685

© European Union, 2022