Service Communautaire d'Information sur la Recherche et le Développement - CORDIS

ERC

AVS-ISS

Project ID: 648701
Financé au titre de

Analysis, Verification, and Synthesis for Infinite-State Systems

De 2015-08-01 à 2020-07-31, projet en cours

Détails concernant le projet

Coût total:

EUR 1 834 975

Contribution de l'UE:

EUR 1 834 975

Coordonné à/au(x)/en:

United Kingdom

Appel à propositions:

ERC-2014-CoGSee other projects for this call

Régime de financement:

ERC-COG - Consolidator Grant

Objectif

Institution d'accueil

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

Contribution de l'UE: EUR 1 834 975


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

Bénéficiaires

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

Contribution de l'UE: EUR 1 834 975


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

To know more

Numéro d'enregistrement: 197502 / Dernière mise à jour le: 2015-06-25