Innovating Works

BALAGUE CENTER

Extinguida
VAPLCS: Verification Aware Programming Language Concurrency Semantics TEL AVIV UNIVERSITY tramitó un H2020: ERC-2019-STG "With the proliferation of multi-core processors, concurrent programming regularly appears at the core of heavily relied-upon systems, where...
2019-09-12 - 2026-03-31 | Financiado
ProCovar: Exploring new applications of amino acid covariation analysis in modelling proteins and their comple... UNIVERSITY COLLEGE LONDON tramitó un H2020: ERC-2015-AdG As a result of the rapid development of next generation sequencing, we now have access to hundreds and often many thousands of sequences whi...
2016-09-06 - 2022-04-30 | Financiado
* Datos extraídos de la documentos o webs disponibles en diferentes organismos públicos.