Servizio Comunitario di Informazione in materia di Ricerca e Sviluppo - CORDIS

ERC

AVS-ISS

Project ID: 648701
Finanziato nell'ambito di

Analysis, Verification, and Synthesis for Infinite-State Systems

Dal 2015-08-01 al 2020-07-31, progetto in corso

Dettagli del progetto

Costo totale:

EUR 1 834 975

Contributo UE:

EUR 1 834 975

Coordinato in:

United Kingdom

Invito a presentare proposte:

ERC-2014-CoGSee other projects for this call

Meccanismo di finanziamento:

ERC-COG - Consolidator Grant

Obiettivo

Istituzione ospitante

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

Contributo UE: EUR 1 834 975


WELLINGTON SQUARE UNIVERSITY OFFICES
OX1 2JD OXFORD
United Kingdom
Activity type: Higher or Secondary Education Establishments

Beneficiari

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

Contributo UE: EUR 1 834 975


WELLINGTON SQUARE UNIVERSITY OFFICES
OX1 2JD OXFORD
United Kingdom
Activity type: Higher or Secondary Education Establishments

To know more

Numero di registrazione: 197502 / Ultimo aggiornamento: 2017-03-29