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

ERC

AVS-ISS

Project ID: 648701
Financiado con arreglo a

Analysis, Verification, and Synthesis for Infinite-State Systems

Desde 2015-08-01 hasta 2020-07-31, proyecto en curso

Detalles del proyecto

Coste total:

EUR 1 834 975

Aportación de la UE:

EUR 1 834 975

Coordinado en:

United Kingdom

Convocatoria de propuestas:

ERC-2014-CoGSee other projects for this call

Régimen de financiación:

ERC-COG - Consolidator Grant

Objetivo

Institución de acogida

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

Aportación de la UE: EUR 1 834 975


University Offices, Wellington Square
OX1 2JD OXFORD
United Kingdom
Activity type: Higher or Secondary Education Establishments

Beneficiarios

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

Aportación de la UE: EUR 1 834 975


University Offices, Wellington Square
OX1 2JD OXFORD
United Kingdom
Activity type: Higher or Secondary Education Establishments

To know more

Número de registro: 197502 / Última actualización el: 2015-06-25