Community Research and Development Information Service - CORDIS

Type and Proof Structures for Concurrent Software Verification

From 2017-04-01 to 2022-03-31, ongoing project

Project details

Total cost:

EUR 1 999 895

EU contribution:

EUR 1 999 895

Coordinated in:

Spain

Call for proposal:

ERC-2016-COGSee other projects for this call

Funding scheme:

ERC-COG - Consolidator Grant

Objective

Host Institution

FUNDACION IMDEA SOFTWARE
Spain

EU contribution: EUR 1 999 895


LUGAR CAMPUS DE MONTEGANCEDO .
28660 MADRID
Spain
Activity type: Research Organisations

Beneficiaries

FUNDACION IMDEA SOFTWARE
Spain

EU contribution: EUR 1 999 895


LUGAR CAMPUS DE MONTEGANCEDO .
28660 MADRID
Spain
Activity type: Research Organisations

To know more

Record Number: 207887 / Last updated on: 2017-02-01
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top