Skip to main content
EnglishEN

Advanced Reasoning in Arithmetic Theories

Project description

DEENESFRITPL

Testing better decision-procedure algorithms for computer science

Fields of science

Programme(s)

Topic(s)

Call for proposal

ERC-2019-STG

See other projects for this call

Funding Scheme

ERC-STG - Starting Grant

Host institution

THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
Net EU contribution
€ 1 421 479,00
Address
Wellington Square University Offices
OX1 2JD Oxford
United Kingdom

See on map

Region
South East (England) Berkshire, Buckinghamshire and Oxfordshire Oxfordshire
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 0,00

Beneficiaries (2)

THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
United Kingdom
Net EU contribution
€ 1 421 479,00
Address
Wellington Square University Offices
OX1 2JD Oxford

See on map

Region
South East (England) Berkshire, Buckinghamshire and Oxfordshire Oxfordshire
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 0,00
UNIVERSITY COLLEGE LONDON

Participation ended

United Kingdom
Net EU contribution
€ 60 385,00
Address
Gower Street
WC1E 6BT London

See on map

Region
London Inner London — West Camden and City of London
Activity type
Higher or Secondary Education Establishments
Non-EU contribution
€ 0,00

Share this page

Download

EC signature date: 8 October 2019
Last update: 23 September 2021
Record number: 225480

My Booklet

Permalink: https://cordis.europa.eu/project/id/852769

© European Union, 2022