Community Research and Development Information Service - CORDIS

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:

Germany

Call for proposal:

ERC-2014-CoGSee other projects for this call

Funding scheme:

ERC-COG - Consolidator Grant

Objective

Host Institution

MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV
Germany

EU contribution: EUR 62 500


HOFGARTENSTRASSE 8
80539 MUENCHEN
Germany
Activity type: Research Organisations

Contact the organisation

Beneficiaries

MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV
Germany

EU contribution: EUR 62 500


HOFGARTENSTRASSE 8
80539 MUENCHEN
Germany
Activity type: Research Organisations

Contact the organisation

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

EU contribution: EUR 1 772 475


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

Contact the organisation

To know more

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