Community Research and Development Information Service - CORDIS

ERC

ALEXANDRIA

Project ID: 742178
Funded under

Large-Scale Formal Proof for the Working Mathematician

From 2017-09-01 to 2022-08-31, Grant Agreement signed

Project details

Total cost:

EUR 2 430 140

EU contribution:

EUR 2 430 140

Coordinated in:

United Kingdom

Call for proposal:

ERC-2016-ADGSee other projects for this call

Funding scheme:

ERC-ADG - Advanced Grant

Objective

Host Institution

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

EU contribution: EUR 2 430 140


TRINITY LANE THE OLD SCHOOLS
CB2 1TN CAMBRIDGE
United Kingdom
Activity type: Higher or Secondary Education Establishments

Beneficiaries

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

EU contribution: EUR 2 430 140


TRINITY LANE THE OLD SCHOOLS
CB2 1TN CAMBRIDGE
United Kingdom
Activity type: Higher or Secondary Education Establishments

To know more

Record Number: 210556 / Last updated on: 2017-05-09