Innovating Works

LASD

Financiado
Logic and Automata over Sequences with Data
Formal language theory is indisputably one of the most successful theories in theoretical computer science with many applications in such fields as formal verification, programming languages, and databases, to name a few. Despite... ver más
31/07/2028
RHEINLAND-PFALZISC...
2M€
Presupuesto del proyecto: 2M€
ver más

Líder del proyecto
RHEINLAND-PFALZISCHE TECHNISCHE UNIVERSITAT No se ha especificado una descripción o un objeto social para esta compañía.
Financiación concedida El organismo HORIZON EUROPE notifico la concesión del proyecto el día 2023-05-25
ERC-2022-COG: ERC CONSOLIDATOR GRANTS Scope:Objectives
Cerrada hace 2 años
0% 100% 100%