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

Host institution

THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
Address
University Offices, Wellington Square
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
University Offices, Wellington Square
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