Innovating Works

INFSYS

Financiado
Challenging Problems in Infinite State Systems
Investigation of infinite state systems is an active field since the early days of computer science. Despite of decades of research the most fundamental questions are not understood well even for basic models using only counters o... ver más
28/02/2026
UNIWARSAW
1M€
Presupuesto del proyecto: 1M€
ver más

Líder del proyecto
UNIWERSYTET WARSZAWSKI No se ha especificado una descripción o un objeto social para esta compañía.
TRL 4-5
Financiación concedida El organismo H2020 notifico la concesión del proyecto el día 2020-09-11
ERC-2020-STG: ERC STARTING GRANTS
Cerrada hace 5 años
0% 100% 100%