Community Research and Development Information Service - CORDIS

ERC

Matryoshka

Project ID: 713999
Funded under

Fast Interactive Verification through Strong Higher-Order Automation

From 2017-03-01 to 2022-02-28, ongoing project

Project details

Total cost:

EUR 1 498 438

EU contribution:

EUR 1 498 438

Coordinated in:

Netherlands

Call for proposal:

ERC-2016-STGSee other projects for this call

Funding scheme:

ERC-STG - Starting Grant

Objective

Host Institution

STICHTING VU
Netherlands

EU contribution: EUR 994 688


DE BOELELAAN 1105
1081 HV AMSTERDAM
Netherlands
Activity type: Higher or Secondary Education Establishments

Beneficiaries

STICHTING VU
Netherlands

EU contribution: EUR 994 688


DE BOELELAAN 1105
1081 HV AMSTERDAM
Netherlands
Activity type: Higher or Secondary Education Establishments
INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE
France

EU contribution: EUR 503 750


DOMAINE DE VOLUCEAU ROCQUENCOURT
78153 LE CHESNAY CEDEX
France
Activity type: Research Organisations

To know more

Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top