Innovating Works

ICS CAS VVI

Desconocido
CARMINE: Climate Resilient Development Pathways in Metropolitan Regions of Europe USTAV INFORMATIKY AV CR participó en un HORIZON EUROPE: HORIZON-CL5-2023-D1-01 The frequency and intensity of climate and weather extremes associated with anthropogenic climate change are increasing and will challenge u...
2023-11-20 - 2028-01-31 | Financiado
MOSAIC: Modalities in Substructural Logics Theory Methods and Applications USTAV INFORMATIKY AV CR participó en un H2020: H2020-MSCA-RISE-2020 Modal logics are a family of formal systems based on classical logic which aim at improving the expressive power of the classical calculus a...
2020-11-09 - 2026-04-30 | Financiado
CONNECT: Combinatorics of Networks and Computation USTAV INFORMATIKY AV CR participó en un H2020: H2020-MSCA-RISE-2016 "Networks are present in our lives in numerous different environments: to name just a few, networks can model social relationships, they can...
2016-12-07 - 2022-08-31 | Financiado
SYSMICS: Syntax Meets Semantics Methods Interactions and Connections in Substructural logics. USTAV INFORMATIKY AV CR participó en un H2020: H2020-MSCA-RISE-2015 Substructural logics are formal reasoning systems that refine classical logic by weakening the structural rules in Gentzen sequent calculus....
2015-11-30 - 2019-02-28 | Financiado
BRAINSYNC: Large scale interactions in brain networks and their breakdown in brain diseases USTAV INFORMATIKY AV CR participó en un FP7: The long-term goal of this project is to understand how neuronal assemblies exchange information (functional or neuronal communication), and...
Financiado
* Datos extraídos de la documentos o webs disponibles en diferentes organismos públicos.