Skip to main content

Advanced Reasoning in Arithmetic Theories

Project description

Testing better decision-procedure algorithms for computer science

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