Community Research and Development Information Service - CORDIS

ERC

UtHoTP

Project reference: 279611
Funded under

Understanding the Hardness of Theorem Proving

From 2012-07-01 to 2017-06-30, ongoing project

Project details

Total cost:

EUR 1 460 000

EU contribution:

EUR 1 460 000

Coordinated in:

Sweden

Call for proposal:

ERC-2011-StG_20101014See other projects for this call

Funding scheme:

ERC-SG - ERC Starting Grant

Objective

Related information

Principal Investigator

Karl Jakob Nordström
Tel.: +46 70 742 21 98
Fax: +46 8 790 09 30
E-mail

Host Institution

KUNGLIGA TEKNISKA HOEGSKOLAN
Sweden

EU contribution: EUR 1 460 000


BRINELLVAGEN 8
100 44 STOCKHOLM
Sweden
Administrative contact: Harriett Johansson
Tel.: +46 8 790 78 99
Fax: +46 8 790 09 30
E-mail

Beneficiaries

KUNGLIGA TEKNISKA HOEGSKOLAN
Sweden

EU contribution: EUR 1 460 000


BRINELLVAGEN 8
100 44 STOCKHOLM
Sweden
Administrative contact: Harriett Johansson
Tel.: +46 8 790 78 99
Fax: +46 8 790 09 30
E-mail

To know more

Record Number: 100596 / Last updated on: 2016-03-17