Advanced Reasoning in Arithmetic Theories

Project description

Testing better decision-procedure algorithms for computer science

Fields of science

• natural sciences › mathematics › pure mathematics › arithmetics
• natural sciences › computer and information sciences › artificial intelligence
• natural sciences › computer and information sciences › computational science

Programme(s)

• H2020-EU.1.1. - EXCELLENT SCIENCE - European Research Council (ERC)

Topic(s)

• ERC-2019-STG - ERC Starting Grant

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

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