Community Research and Development Information Service - CORDIS

Strong Modular proof Assistance: Reasoning across Theories

From 2017-03-01 to 2022-02-28, ongoing project

Project details

Total cost:

EUR 1 449 000

EU contribution:

EUR 1 449 000

Coordinated in:

Austria

Call for proposal:

ERC-2016-STGSee other projects for this call

Funding scheme:

ERC-STG - Starting Grant

Objective

Host Institution

UNIVERSITAET INNSBRUCK
Austria

EU contribution: EUR 1 449 000


INNRAIN 52
6020 INNSBRUCK
Austria
Activity type: Higher or Secondary Education Establishments

Beneficiaries

UNIVERSITAET INNSBRUCK
Austria

EU contribution: EUR 1 449 000


INNRAIN 52
6020 INNSBRUCK
Austria
Activity type: Higher or Secondary Education Establishments

To know more

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