Opendata, web and dolomites

H2020 projects about "formally"

The page lists 53 projects related to the topic "formally".

# achronym  title  year 
1 VOICES Voices Of Individuals: Collectively Exploring Self-determination 2015
2 MindBendingGrammars Mind-Bending Grammars: The dynamics of correlated multiple grammatical changes in Early Modern English writers 2015
3 QUCHIP Quantum Simulation on a Photonic Chip 2015
4 NCPs CaRE National Contact Points for Climate action, Raw materials, Environment and Resource Efficiency 2015
5 SPOOC Automated Security Proofs of Cryptographic Protocols: Privacy, Untrusted Platforms and Applications to E-voting Protocols 2015
6 RICH Research Infrastructures Consortium for Horizon 2020 2014
7 GAPS Spectral gaps in interacting quantum systems 2015
8 IMSTREV Immune modulation by lymph node stromal cell-derived extracellular vesicles 2015
9 DIRS Deusto International Research School 2016
10 corr-DFT Improving the accuracy and reliability of electronic structure calculations: New exchange-correlation functionals from a rigorous expansion at infinite coupling strength 2015
11 PERSYST Generation and maintenance of long-lived memory T cells in humans 2015
12 ADDIA Validation of a fast and simple peripheral blood diagnostic biomarker kit for Alzheimer’s disease 2015
13 LocalAdaptation Detecting Local Adaptation with Climate-Informed Spatial Genetic Models 2015
14 AnCon A Comparative Anthropology of Conscience, Ethics and Human Rights 2015
15 ELIXIR-EXCELERATE ELIXIR-EXCELERATE: Fast-track ELIXIR implementation and drive early user exploitation across the life-sciences. 2015
16 YlideLigands Tailoring Ylidic Compounds as Ligands for Organometallic Chemistry 2016
17 RustBelt Logical Foundations for the Future of Safe Systems Programming 2016
18 MFP Martí i Franquès COFUND 2017
19 Habit Roman Catholic laywomen’s “turn to habit” as a strategy of developing modern pious womanhood: Catholic female social reformers in France, Germany and Partitioned Poland between 1878-1914. 2016
20 S-CODE Switch and Crossing Optimal Design and Evaluation 2016
21 PROSFET Promoting Sustainable Freight Transport in Urban Contexts: Policy and Decision-Making Approaches 2017
22 RACCOON A Rigorous Approach to Consistency in Cloud Databases 2017
23 SECOMP Efficient Formally Secure Compilers to a Tagged Architecture 2017
24 TALK International impact of TALK©: a simple and practical approach to multi-professional structured feedback and debriefing, to be used after unplanned learning events in clinical environments. 2017
25 POPSTAR Reasoning about Physical properties Of security Protocols with an Application To contactless Systems 2017
26 EVORULES The cultural evolution and ecology of institutions: An integrated evolutionary approach to the interrelated rules that regulate human social organization and cooperation 2017
27 MiLC Monotonicity in Logic and Complexity 2017
28 GenHumChild Gender and transnational Humanitarian Commitment for Children (Europe - 1980-2007) 2017
29 KAMINO EEN-services for supporting the Key Account Management process in the SME-instrument and enhancing the INnOvation management capacities of SMEs (KAMINO) 2017
30 KuRx Ku-Band Satellite Receiver 2017
31 SVIS Supervised Verification of Infinite-State Systems 2018
32 TeamPlay Time, Energy and security Analysis for Multi/Many-core heterogenous PLAtforms 2018
33 VESTA VErified STAtic analysis platform 2018
34 ENIGMA Supervisor Control for ENhanced electrIcal enerGy MAnagement 2018
35 ANITA Advanced tools for fighting oNline Illegal TrAfficking 2018
36 BPR4GDPR Business Process Re-engineering and functional toolkit for GDPR compliance 2018
37 LOFUPRO The Logical Function of Property Talk 2018
38 FunSilting Functorial techniques in silting theory 2018
39 EMBED Embedded Markets and the Economy 2018
40 FRAPPANT Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation 2018
41 ESCADA Energy-optimized Symmetric Cryptography by Algebraic Duality Analysis 2018
42 SkewPref Skewness Preferences – Human attitudes toward rare, high-impact risks 2019
43 NestIOr Who gets to live forever? Toward an Institutional Theory on the Decline and Death of International Organisations 2019
44 KAMINO-2 Key Account Management process for beneficiaries of the EU funded programmes SME-instrument, FTI and FET-Open and services to enhance the INnOvation management capacities of SMEs 2019
45 PI3K MODULATORS Identification and characterisation of new class of PI3K modulators in oncology 2019
46 ALGOCERT Devising certifiable and explainable algorithms for verification and planning in cyber-physical systems 2019
47 MINORLEGMOB Assessing the agency of national minorities through court cases: mapping legal mobilization patterns in CEE 2019
48 WIRE2019 Explore, Create and Innovate in your region 2019
49 MEImpact The Consequences of Mismeasuring Economic Activity 2019
50 PANGAIA Pan-genome Graph Algorithms and Data Integration 2020
51 eLTER PPP eLTER Preparatory Phase Project 2020
52 PROCESS REASONING Reasoning about processes: a logico-philosophical investigation 2021
53 KAMINO-3 Key Account Management process in EIC pilot activities (Accelerator, FTI/FET-open projects) and enhancing the INnOvation management capacities of SMEs (KAMINO-3) 2020