Challenging Problems in Infinite-State Systems

Project description

Fast algorithms and lower bounds for problems in infinite-state systems

Fields of science

• natural sciences › computer and information sciences

Programme(s)

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

Topic(s)

• ERC-2020-STG - ERC STARTING GRANTS

Call for proposal

ERC-2020-STG
See other projects for this call

Funding Scheme

ERC-STG - Starting Grant

Host institution

UNIWERSYTET WARSZAWSKI

Address

Krakowskie Przedmiescie 26/28
00 927 Warszawa
Poland

Activity type

Higher or Secondary Education Establishments

EU contribution

€ 1 340 406

Beneficiaries (1)

UNIWERSYTET WARSZAWSKI

Poland

EU contribution

€ 1 340 406

Address

Krakowskie Przedmiescie 26/28
00 927 Warszawa

Activity type

Higher or Secondary Education Establishments