Opendata, web and dolomites
H2020 projects about "formally"
The page lists 53 projects related to the topic "formally".
| # | |||
|---|---|---|---|
| 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 |