Skip to main content

Advanced Reasoning in Arithmetic Theories

Project description

Testing better decision-procedure algorithms for computer science

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
Address
Wellington Square University Offices
OX1 2JD Oxford
United Kingdom
Activity type
Higher or Secondary Education Establishments
EU contribution
€ 1 421 479

Beneficiaries (2)

THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
United Kingdom
EU contribution
€ 1 421 479
Address
Wellington Square University Offices
OX1 2JD Oxford
Activity type
Higher or Secondary Education Establishments
UNIVERSITY COLLEGE LONDON

Participation ended

United Kingdom
EU contribution
€ 60 385
Address
Gower Street
WC1E 6BT London
Activity type
Higher or Secondary Education Establishments