Skip to main content

Challenging Problems in Infinite-State Systems

Project description

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

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