Servicio de Información Comunitario sobre Investigación y Desarrollo - CORDIS

ERC

AVS-ISS

Project reference: 648701
Funded under

Analysis, Verification, and Synthesis for Infinite-State Systems

From 2015-08-01 to 2020-07-31, ongoing project

Project details

Total cost:

EUR 1 834 975

EU contribution:

EUR 1 834 975

Coordinated in:

United Kingdom

Call for proposal:

ERC-2014-CoGSee other projects for this call

Funding scheme:

ERC-COG - Consolidator Grant

Objective

Related information

Open Access

Host Institution

THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
United Kingdom

EU contribution: EUR 1 834 975


University Offices, Wellington Square
OX1 2JD OXFORD
United Kingdom

Beneficiaries

THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
United Kingdom

EU contribution: EUR 1 834 975


University Offices, Wellington Square
OX1 2JD OXFORD
United Kingdom

To know more

Record Number: 197502 / Last updated on: 2015-06-25