Opendata, web and dolomites
H2020 projects about "formal"
The page lists 323 projects related to the topic "formal".
| # | |||
|---|---|---|---|
| 1 | DIVERSIFOOD | Embedding crop diversity and networking for local high quality food systems | 2015 |
| 2 | EfficienSea 2 | EfficienSea 2 - Efficient, Safe and Sustainable Traffic at Sea | 2015 |
| 3 | MathAm | Mathematical Structures in Scattering Amplitudes | 2015 |
| 4 | EQUALIZE | Equalizing or disequalizing? Opposing socio-demographic determinants of the spatial distribution of welfare. | 2015 |
| 5 | COMPUTED | Computational User Interface Design | 2015 |
| 6 | SYNTECH | Synthesis Technologies for Reactive Systems Software Engineers | 2015 |
| 7 | MindBendingGrammars | Mind-Bending Grammars: The dynamics of correlated multiple grammatical changes in Early Modern English writers | 2015 |
| 8 | BACI | Detecting changes in essential ecosystem and biodiversity properties – towards a Biosphere Atmosphere Change Index: BACI | 2015 |
| 9 | IN LIFE | INdependent LIving support Functions for the Elderly | 2015 |
| 10 | iManageCancer | iManageCancer - Empowering patients and strengthening self-management in cancer diseases | 2015 |
| 11 | ehcoBUTLER | ehcoBUTLER. A global ecosystem for the independent and healty living of elder people with mild cognitive impairments. | 2015 |
| 12 | myAirCoach | Analysis, modelling and sensing of both physiological and environmental factors for the customized and predictive self-management of Asthma | 2015 |
| 13 | HEARTEN | A co-operative mHEALTH environment targeting adherence and management of patients suffering from Heart Failure | 2015 |
| 14 | UnCoVerCPS | Unifying Control and Verification of Cyber-Physical Systems | 2015 |
| 15 | ALIGNED | Aligned, Quality-centric Software and Data Engineering | 2015 |
| 16 | HyVar | Scalable Hybrid Variability for Distributed Evolving Software Systems | 2015 |
| 17 | CP-SETIS | Towards Cyber-Physical Systems Engineering Tools Interoperability Standardisation | 2015 |
| 18 | No One Left Behind | No One Left Behind | 2015 |
| 19 | Idealist2018 | Transnational Cooperation among ICT NCPs | 2015 |
| 20 | TRANSLITERACY | Exploiting transmedia skills and informal learning strategies to improve formal education | 2015 |
| 21 | RINEA | Research and Innovation Network for Europe and Africa | 2015 |
| 22 | SPOOC | Automated Security Proofs of Cryptographic Protocols: Privacy, Untrusted Platforms and Applications to E-voting Protocols | 2015 |
| 23 | I-LINC | Platform for ICT learning and inclusion for youth employability and entrepreneurship | 2015 |
| 24 | SYMBIOSYS | Symbolic Analysis of Temporal and Functional Behavior of Networked Systems | 2015 |
| 25 | PAW | Automated Program Analysis for Advanced Web Applications | 2015 |
| 26 | PARTISPACE | Spaces and Styles of Participation. Formal, non-formal and informal possibilities of young people’s participation in European cities. | 2015 |
| 27 | REVALUE | Recognising Energy Efficiency Value in Residential Buildings | 2015 |
| 28 | MEnS | Meeting of Energy Professional Skills | 2015 |
| 29 | STEAM-UP | STEam And Management Under Pressure | 2015 |
| 30 | SeaChange | Sea Change | 2015 |
| 31 | ECOROADS | Effective and COordinated ROAD infrastructure Safety operations | 2015 |
| 32 | EDUCEN | European Disasters in Urban centres: a Culture Expert Network (3C – Cities, Cultures, Catastrophes) | 2015 |
| 33 | Walgo | What is an Algorithm? Extensional and Intensional Equivalences between Programs | 2015 |
| 34 | RContext | Radical Contextualism and the Science of Meaning | 2015 |
| 35 | Carnap and the Limits of Metaphysics | Carnap and the Limits of Metaphysics | 2015 |
| 36 | ALGOVIS | Algorithmic Approaches to Spatially-Informed Information Visualization | 2015 |
| 37 | NEDBELS | NEURODIVERSITY BETWEEN LAW AND SCIENCE | 2015 |
| 38 | LOGIVIS | The logics of information visualisation | 2015 |
| 39 | DoRoThy | Donating Robots a Theory of Mind | 2015 |
| 40 | socialog | Social Capital, Institutional Accessibility and Local Governance | 2016 |
| 41 | HORIP | Higher-Order Rewriting for Intensional Properties of Programs and Circuits | 2015 |
| 42 | FOREMOTIONS | Formal Frameworks for Modal Notions Conceived as Predicates | 2016 |
| 43 | MigrWorkers | The Race, Class and Gender of Transnational Urban Labour: Romanian Workers in the Cities of London and NYC | 2015 |
| 44 | GLOID | Genetic and Lifestyle Origins of Inflammation in Depression | 2015 |
| 45 | EmotionalActions | Understanding Emotional Actions | 2015 |
| 46 | ProLeMAS | ProLeMAS: PROcessing LEgal language in normative Multi-Agent Systems | 2015 |
| 47 | LV-Pri20 | Logic-based Verification of Privacy-Preservation in Europe's 2020 ICT | 2015 |
| 48 | ICH-Bildung | The Impact of Intangible Cultural Heritage (ICH) in formal, non-formal and informal education and its contribution to the Key Competences for Lifelong Learning in the EU Reference Framework | 2015 |
| 49 | COSMOS | Optical point of care system for heart failure mass screening | 2015 |
| 50 | HepatoRiSK | A new tumor suppressor role for RSK2 in hepatocellular carcinoma | 2015 |
| 51 | EcoSpacePropulsion | Piloting and upscaling the unique on site and mobile production plants for highly concentrated Hydrogen peroxide (HTP) production for space industry applications | 2015 |
| 52 | UNCAP | Ubiquitous iNteroperable Care for Ageing People | 2015 |
| 53 | eStandards | eHealth Standards and Profiles in Action for Europe and Beyond | 2015 |
| 54 | MenWomenCare | Men, Women and Care: The gendering of formal and informal care-giving in interwar Britain | 2015 |
| 55 | CutLoops | Loop amplitudes in quantum field theory | 2015 |
| 56 | corr-DFT | Improving the accuracy and reliability of electronic structure calculations: New exchange-correlation functionals from a rigorous expansion at infinite coupling strength | 2015 |
| 57 | PreLog | Precursors of logical reasoning in human infants | 2015 |
| 58 | E-SPACE | European Standardised Process Approach to Cognitive Evaluation in older people | 2016 |
| 59 | CEITER | Cross-Border Educational Innovation thru Technology-Enhanced Research | 2015 |
| 60 | DuaLL | Duality in Formal Languages and Logic - a unifying approach to complexity and semantics | 2015 |
| 61 | TEST-IC | Integrated Cicuit Testing Software | 2015 |
| 62 | AVS-ISS | Analysis, Verification, and Synthesis for Infinite-State Systems | 2015 |
| 63 | AI4REASON | Artificial Intelligence for Large-Scale Computer-Assisted Reasoning | 2015 |
| 64 | INNOWAVE | Maximising the technical and economic performance of real wave energy devices | 2016 |
| 65 | CREATIONS | CREATIONS - Developing an Engaging Science Classroom | 2015 |
| 66 | EDISON | Education for Data Intensive Science to Open New science frontiers | 2015 |
| 67 | CyberCare | Integrated Sensing Architectures and Tools for Health Care | 2016 |
| 68 | ANT | Automata in Number Theory | 2015 |
| 69 | DFLOW | Duality For Logic On Words | 2016 |
| 70 | BRAINCOMPATH | Mesoscale Brain Dynamics: Computing with Neuronal Pathways | 2016 |
| 71 | TeSLA | An Adaptive Trust-based e-assesment System for Learning | 2016 |
| 72 | AFEL | AFEL - Analytics For Everyday Learning | 2015 |
| 73 | BEACONING | Breaking Educational Barriers with Contextualised, Pervasive and Gameful Learning (BEACONING) | 2016 |
| 74 | ACO | The Proceedings of the Ecumenical Councils from Oral Utterance to Manuscript Edition as Evidence for Late Antique Persuasion and Self-Representation Techniques | 2016 |
| 75 | FOVEDIS | Formal specification and verification of distributed data structures | 2016 |
| 76 | JCR | Judicial Conflict Resolution: Examining Hybrids of Non-adversarial Justice | 2016 |
| 77 | CoVeCe | Coinduction for Verification and Certification | 2016 |
| 78 | SYSMICS | Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics. | 2016 |
| 79 | MIREL | MIREL - MIning and REasoning with Legal texts | 2016 |
| 80 | MATHISIS | Managing Affective-learning THrough Intelligent atoms and Smart InteractionS | 2016 |
| 81 | INFORM | CLOSING THE GAP BETWEEN FORMAL AND INFORMAL INSTITUTIONS IN THE BALKANS | 2016 |
| 82 | YOUNG_ADULLLT | Policies Supporting Young People in their Life Course. A Comparative Perspective of Lifelong Learning and Inclusion in Education and Work in Europe | 2016 |
| 83 | SOPHIA | Securing Software against Physical Attacks | 2016 |
| 84 | ProFoundNet | Probabilistic Foundations for Networks | 2016 |
| 85 | CIRCUS | An end-to-end verification architecture for building Certified Implementations of Robust, Cryptographically Secure web applications | 2016 |
| 86 | RustBelt | Logical Foundations for the Future of Safe Systems Programming | 2016 |
| 87 | HARA | Human-Animal Relationships in Archaeology: World Views of Hunter-gatherers in NorthernEurope | 2016 |
| 88 | TransNic | Enantioselective Nickel-Catalyzed trans-Carbometallative Couplings and Cyclizations | 2016 |
| 89 | Degrees of Belief | The Nature of Degrees of Belief | 2017 |
| 90 | LoGIcInMAS | Logics and Games for Imperfect Information in Multi-Agent Systems | 2016 |
| 91 | SLMK | The Scope and Limits of Mathematical Knowledge | 2016 |
| 92 | QDM | Quantum Decision Making | 2016 |
| 93 | FAHMRRR | Focus alternatives in the human mind: Retrieval, representation, and recall | 2016 |
| 94 | DECOR | Decorative Principles in late Republican and early Imperial Italy | 2016 |
| 95 | YOUTHBLOCS | Youth illegal political involvement in an intergenerational perspective | 2016 |
| 96 | EDU-DEM | Democratization through Education? The role of education in strengthening civil agency and voice in Sub-Saharan Africa. (Case study: Uganda) | 2016 |
| 97 | STEM4youth | Promotion of STEM education by key scientific challenges and their impact on our life and career perspectives | 2016 |
| 98 | MinimalSelf | Embodiment, Intersubjectivity, and the Minimal Self | 2016 |
| 99 | reSEARCH | Re(search) | 2016 |
| 100 | MONESE | Innovative banking model for improved financial and economic inclusion of population groups that find it difficult to open a traditional bank account | 2016 |
| 101 | EXPANDCUSTOM | Expanding and widening customized design-based consumer goods access | 2016 |
| 102 | BROKERS | Participatory Urban Governance between Democracy and Clientelism: Brokers and (In)formal Politics | 2016 |
| 103 | MiTSoPro | Migration and Transnational Social Protection in (post-)crisis Europe | 2016 |
| 104 | K3CRYSTAL | Moduli of Crystals and K3 Surfaces | 2016 |
| 105 | myABCKit | DISRUPTING LITERACY CONTENT CREATION PLATFORM FOR EDUCATORS ENABLING ADAPTIVE AND FLEXIBLE LEARNING FOR KIDS | 2016 |
| 106 | CLIMASLOW | Slowing Down Climate Change: Combining Climate Law and Climate Science to Identify the Best Options to Reduce Emissions of Short-Lived Climate Forcers in Developing Countries | 2017 |
| 107 | CATMEC | Catalytic Methods for Sustainable Synthesis. A Merged Experimental and Computational Approach | 2017 |
| 108 | ETHOS | Towards a European THeory Of juStice and fairness | 2017 |
| 109 | WARMUSIC | The War on Music. Heritage, Islam and Peacekeeping in relation to the Islamist attacks in Mali | 2017 |
| 110 | TREPISTEME | Formal Truth in Epistemology | 2016 |
| 111 | PACT | Proof-theoretical Approaches to Concurrency Theory | 2016 |
| 112 | ECHOES | Energy CHOices supporting the Energy union and the Set-plan | 2016 |
| 113 | MiMo | Inference in Microeconometric Models | 2017 |
| 114 | ESROCOS | European Space Robot Control Operating System | 2016 |
| 115 | ERGO | EUROPEAN ROBOTIC GOAL-ORIENTED AUTONOMOUS CONTROLLER | 2016 |
| 116 | eCraft2Learn | Digital Fabrication and Maker Movement in Education: Making Computer-supported Artefacts from Scratch | 2017 |
| 117 | Up2U | Up to University - Bridging the gap between schools and universities through informal education | 2017 |
| 118 | GATES | Applying GAming TEchnologies for training professionals in Smart Farming | 2017 |
| 119 | FocusLocus | FocusLocus: ADHD management Gaming System for educational achievement and social inclusion | 2016 |
| 120 | EPRISE | Empowering Photonics through Regional Innovation Strategies in Europe | 2017 |
| 121 | AMORE | A distributional MOdel of Reference to Entities | 2017 |
| 122 | CERBERO | Cross-layer modEl-based fRamework for multi-oBjective dEsign of Reconfigurable systems in unceRtain hybRid envirOnments | 2017 |
| 123 | SMART | Strong Modular proof Assistance: Reasoning across Theories | 2017 |
| 124 | QUALIDEM | Eroding Democracies. A qualitative (re-)appraisal of how policies shape democratic linkages in Western democracies | 2017 |
| 125 | LCLW | Literary Communities and Literary Worlds | 2017 |
| 126 | ILIAD | Intra-Logistics with Integrated Automatic Deployment: safe and scalable fleets in shared spaces | 2017 |
| 127 | STRUCTURALISM | The Roots of Mathematical Structuralism | 2017 |
| 128 | SECOMP | Efficient Formally Secure Compilers to a Tagged Architecture | 2017 |
| 129 | FREEMIND | FREE the MIND: the neurocognitive determinants of intentional decision | 2017 |
| 130 | CoSaQ | Cognitive Semantics and Quantities | 2017 |
| 131 | MakEY | MAKERSPACES IN THE EARLY YEARS: ENHANCING DIGITAL LITERACY AND CREATIVITY (MakEY) | 2017 |
| 132 | POPSTAR | Reasoning about Physical properties Of security Protocols with an Application To contactless Systems | 2017 |
| 133 | NARMESH | Narrating the Mesh: Ecology and the Non-Human in Contemporary Fiction and Oral Storytelling | 2017 |
| 134 | QUALITY | Qualitative and Quantitative Social Science: Unifying the Logic of Causal Inference? | 2017 |
| 135 | Mathador | Type and Proof Structures for Concurrent Software Verification | 2017 |
| 136 | SYSTEMATICGRAPH | Systematic mapping of the complexity landscape of hard algorithmic graph problems | 2017 |
| 137 | HoplaCare | Advanced e-marketplace for a new way of purchasing and sharing Home Care Services and Assisted Living Technologies | 2017 |
| 138 | TRoMBONE | Therapy for regeneration of Heart Muscle based on targeted delivery of exosomes | 2017 |
| 139 | Requirement Robot | Software Robot Requirements: Automating requirement extraction and Analysis | 2017 |
| 140 | TeleoLogic | Logical and Psychological Foundations for a Teleosemantic Theory of Productivity | 2017 |
| 141 | MELBA | MEMBRANE PROTEINS OF ELECTROACTIVE BACTERIA PROBED AT LIPID LAYERS ONTO MODIFIED ELECTRODES | 2017 |
| 142 | ThReDS | A Theory of Reference for Distributional Semantics | 2017 |
| 143 | EU-Drones | The European Commission in Drone Community: a New Cooperation Area in the Making | 2017 |
| 144 | ILBIB | Ireland and Late-Georgian British Imaginings of Belonging: With Particular Reference to William Wordsworth | 2017 |
| 145 | ATiNaRI | Asynchronous Time-domain Neural Recording Interfaces | 2017 |
| 146 | HiProLoop | Scattering Amplitudes for Higgs Production at High-Order as touchstone for Automated Multiloop Feynman Calculus | 2018 |
| 147 | WILDCAT | Wildcat Economics: Informal Mining and Gold from the Global Margins in Contemporary Latin America | 2017 |
| 148 | MOPEAD | Models Of Patient Engagement for Alzheimer’s Disease - Sofia ref.: 115985 | 2016 |
| 149 | Urban Informality | Capital Accumulation Through Informal Urbanization in India | 2017 |
| 150 | RaSiR | Rule-algebraic Simple Rewriting | 2017 |
| 151 | UNCERTAINPOWER | Uncertain Power: Representing the king in the Portuguese empire (1640-1750) | 2017 |
| 152 | ENCIRCLE | European Cbrn Innovation for the maRket CLuster | 2017 |
| 153 | REGAIN | REGionalism And INstututional dynamics in the EU | 2017 |
| 154 | TARGET | TAking a Reflexive approach to Gender Equality for institutional Transformation | 2017 |
| 155 | SEDNA | Safe maritime operations under extreme conditions: the Arctic case | 2017 |
| 156 | DYNAMINT | Dynamics of Probed, Pulsed, Quenched and Driven Integrable Quantum Systems | 2017 |
| 157 | HALOBORYLATION | Electrophilic-induced asymmetric boronate rearrangements via CAPT catalysis. A novel approach towards the formal trifunctionalization of alkenes. | 2017 |
| 158 | PATHS | The Paths of International Law: Stability and Change in the International Legal Order | 2017 |
| 159 | ALEXANDRIA | Large-Scale Formal Proof for the Working Mathematician | 2017 |
| 160 | NOSCEMUS | Nova Scientia. Early Modern Scientific Literature and Latin | 2017 |
| 161 | DATAMINE4.0 | Advanced Data Modeling and Analysis Applied to next Generation Industry 4.0 settings and the Internet of Things | 2018 |
| 162 | NewLoops | Higher-loop amplitudes on the sphere: a new approach to the perturbative expansion of quantum field theories | 2017 |
| 163 | SLICE3D | Slovenian Centre of Excellence on 3D geodata | 2017 |
| 164 | CerQUIT | Certifying Large-scale Quantum Information Technologies | 2018 |
| 165 | CSRC | Center for STEAM Education Research, Science Communication and Innovation | 2017 |
| 166 | BIOPOLIS | Teaming to Upgrade Excellence in Environmental Biology, Ecosystem Research and AgroBiodiversity | 2017 |
| 167 | ASTRail | SAtellite-based Signalling and Automation SysTems on Railways along with Formal Method and Moving Block validation | 2017 |
| 168 | INTAC | The International Register of Academic Job Categories. Facilitating Careers in the European Research Area | 2017 |
| 169 | X2RAIL-2 | Enhancing railway signalling systems based on train satellite positioning, on-board safe train integrity, formal methods approach and standard interfaces, enhancing Traffic Management System functions | 2017 |
| 170 | RUN2Rail | Innovative RUNning gear soluTiOns for new dependable, sustainable, intelligent and comfortable RAIL vehicles | 2017 |
| 171 | AfricanWomen | Women in Africa | 2018 |
| 172 | EUROMIX | Regulating mixed intimacies in Europe | 2017 |
| 173 | CONNEC | CONNECTED CLERICS. BUILDING A UNIVERSAL CHURCH IN THE LATE ANTIQUE WEST (380-604 CE) | 2018 |
| 174 | SVIS | Supervised Verification of Infinite-State Systems | 2018 |
| 175 | PMSB | Principles of Musical Structure Building: Theory, Computation, and Cognition | 2018 |
| 176 | CEASEVAL | Evaluation of the Common European Asylum System under Pressure and Recommendations for Further Development | 2017 |
| 177 | EUMarineRobots | Marine robotics research infrastructure network | 2018 |
| 178 | Precaution | Being precautionary: how rational? How ethical? | 2018 |
| 179 | ViMoAct | Modelling cortical information flow during visuomotor adaptation as active inference in the human brain | 2017 |
| 180 | CLINGLIO | A Clinical Phase IIB trial with 2OHOA in patients with newly-diagnosed malignant glioma. | 2017 |
| 181 | NeuroLang | Accelerating Neuroscience Research by Unifying Knowledge Representation and Analysis Through a Domain Specific Language | 2018 |
| 182 | THEKAISERSMOSQUES | Islamic architecture and Orientalizing style in Habsburg Bosnia, 1878-1918 | 2018 |
| 183 | nTRACK | Multimodal nanoparticles for structural and functional tracking of stem cell therapy on muscle regeneration | 2017 |
| 184 | FutureTPM | Future Proofing the Connected World: A Quantum-Resistant Trusted Platform Module | 2018 |
| 185 | EPICA | EPICA - Strategic partnership for the co-design of an innovative and scalable eportfolio ecosystem to improve the quality and visibility of skills | 2018 |
| 186 | V-SPHERE | Vulnerability Search and Prevention through Holistic End-to-end Risk Evaluation | 2018 |
| 187 | UNIVERSAL HEALTH | Engaged Universals: Ethnographic explorations of ‘Universal Health Coverage’ and the public good in Africa | 2018 |
| 188 | BirNonArchGeom | Birational and non-archimedean geometries | 2018 |
| 189 | ENIGMA | Supervisor Control for ENhanced electrIcal enerGy MAnagement | 2018 |
| 190 | InnovOleum | An innovative business model: turning domestic used cooking oil into renewable “fuel” for education and entrepreneurship | 2018 |
| 191 | GlueCore | Mapping the 3-dimensional gluon structure of the proton | 2018 |
| 192 | iPER | University students' negotiation of physics identity in informal physics programs | 2018 |
| 193 | PHOTOCAMSYN | Photocatalytic Reductive Coupling of Imines: A New Platform for Chiral Amine Synthesis | 2018 |
| 194 | OptimisingIDS | Optimisation of the linguistic input in the first years of life | 2018 |
| 195 | CoM_n_Play-Science | Learning science the fun and creative way: coding, making, and play as vehicles for informal science learning in the 21st century | 2018 |
| 196 | CoMoRoC | Comic Motifs in Romances of Chivalry of Spanish Golden Age | 2018 |
| 197 | DEBT | Eliciting Preferences over Saving and Borrowing | 2018 |
| 198 | DYCODE | The Dynamics of Constructive Deliberation | 2018 |
| 199 | EmpowerMarginalized | Empowerment of marginalized convicted women through social enterprises | 2019 |
| 200 | PIXEL | Port IoT for Environmental Leverage | 2018 |
| 201 | TouchDesign | A Computational Design Approach to Haptic Synthesis | 2018 |
| 202 | WaSH-UPP | Water, Sanitation and Hygiene in sub-Saharan Africa: Understanding Policy and Practice | 2018 |
| 203 | GODELIANA | The Gödel Enigma: Unveiling a Hidden Logical Heritage | 2018 |
| 204 | MYlandOURland | How Institutions Shape Culture: Survey and Experimental Evidence from a Large-Scale Land Tenure Reform Implemented as a Randomized Control Trial | 2019 |
| 205 | Learn2 | Learning and Being in Sport: A Phenomenological Investigation | 2019 |
| 206 | LOFUPRO | The Logical Function of Property Talk | 2018 |
| 207 | IPMRB | Imprecise Probability Models of Rational Belief | 2018 |
| 208 | LowDegModCurve | Low Degree Points on Modular Curves | 2018 |
| 209 | TRANSACT | Book History and Translation History: Copyright, Wages, Censorship, and the (Proto-)Professionalisation of Translators in Nineteenth-Century Britain and Ireland | 2018 |
| 210 | TRANS-END | Transgender and Intersex protection from gender-based violence: exploring new directions | 2018 |
| 211 | RCADE | Reversible causally-consistent debugging of concurrent programs | 2018 |
| 212 | VeSPA | Verification and Specification through Progress Abstractions | 2018 |
| 213 | SNANeB | At the roots of Spatial Numerical Association: from behavioural observation to Neural Basis | 2018 |
| 214 | SEMSUBSET | The Grammar of Inclusion: Exploring the Boundaries of Linguistic Competence | 2019 |
| 215 | WIDEA | Wave-based Inspection for Damage Evaluation in structurally-Advanced composites | 2019 |
| 216 | IslamExpertEducation | Educating Islamic experts in Western Europe: Between traditional and academized forms of knowledge formation and authority | 2019 |
| 217 | NEMoCuRe | Role of S-Nitrosylation of epigenetic modifiers in vascular regeneration | 2018 |
| 218 | Entrans | Energy Efficient Transprecision Techniques for Linear Solver | 2018 |
| 219 | PEREDEP | Promoting E-Rulemaking in the EU through Deliberative Procedures | 2018 |
| 220 | HyThermEl | Hybrid Thermoelectrics: From Model to Device | 2019 |
| 221 | SCIMOD | Foundations of Model Based Science | 2018 |
| 222 | GlobalP3HS | SSPH+ Global PhD Programme in Public Health Sciences | 2018 |
| 223 | SECURe | Subsurface Evaluation of Carbon capture and storage and Unconventional Risk | 2018 |
| 224 | DIALLS | DIalogue and Argumentation for cultural Literacy Learning in Schools | 2018 |
| 225 | CHIEF | Cultural Heritage and Identities of Europe's Future | 2018 |
| 226 | HOWPER | An open or closed process: Determining the global scheme of perception | 2018 |
| 227 | FRAPPANT | Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation | 2018 |
| 228 | FORMKIN | The formal demography of kinship and family | 2018 |
| 229 | See-ACC | Cracking the Anterior Cingulate Code: Toward a Unified Theory of ACC Function | 2019 |
| 230 | ENPMUC | Elites, networks, and power in modern urban China (1830-1949). | 2018 |
| 231 | SPAGAD | Speech Acts in Grammar and Discourse | 2019 |
| 232 | Pomelody 2.0 | Early childhood education eLearning framework, leveraging novel technology for a whole new way of learning music. | 2018 |
| 233 | BEMYEYES | Be My Eyes - The mobile platform that allows sighted people to lend their eyes to the blind and visually impaired | 2018 |
| 234 | ADAFARM | Small scale farmers’ sustainable adaptation strategies to climate change based on ecosystem services | 2018 |
| 235 | SIKB | The Development of Students' Identities as Knowledge Builders | 2018 |
| 236 | GENESE 17 | Geometries of Exotic NuclEar StructurE 17 | 2018 |
| 237 | Promised | Promoting Archaeological Science in the eastern Mediterranean | 2018 |
| 238 | RePAST | Strengthening European integration through the analysis of conflict discourses: revisiting the past, anticipating the future | 2018 |
| 239 | ORISEM | Sources of Meaning: Grounding Formal Semantics | 2019 |
| 240 | AQUASENSE | Innovative Network for Training in wAter and Food QUality monitoring using Autonomous SENSors and IntelligEnt Data Gathering and Analysis | 2018 |
| 241 | STORIES | European Researcher's Night in France | 2018 |
| 242 | MaMBoQ | Macroscopic Behavior of Many-Body Quantum Systems | 2019 |
| 243 | SAFELDER | POINT ACTIVE AGEING ASSISTIVE SERVICE – A MULTI-SENSOR SINGLE DEVICE FOR SMART MONITORING OF THE ELDERLY PEOPLE | 2018 |
| 244 | TOROS | A Theory-Oriented Real-Time Operating System for Temporally Sound Cyber-Physical Systems | 2019 |
| 245 | KAPIBARA | Homotopy Theory of Algebraic Varieties and Wild Ramification | 2019 |
| 246 | SHERLOCK | Seamless and safe human - centred robotic applications for novel collaborative workplaces | 2018 |
| 247 | REWOCRYPT | Theoretically-Sound Real-World Cryptography | 2019 |
| 248 | GULAGECHOES | Gulag Echoes in the “multicultural prison”: historical and geographical influences on the identity and politics of ethnic minority prisoners in the communist successor states of Russia Europe. | 2018 |
| 249 | SPARKs | Static Analysis for the VErification of Spreadsheets | 2019 |
| 250 | EO4AGRI | Bringing together the Knowledge for Better Agriculture Monitoring | 2018 |
| 251 | gE.CO Living Lab | Generative European Commons Living Lab | 2019 |
| 252 | SmartWork | Smart Age-friendly Living and Working Environment | 2019 |
| 253 | ELITR | European Live Translator | 2019 |
| 254 | ECHO | Early conditions, delayed adult effects and morbidity, disability and mortality in modern human populations | 2019 |
| 255 | RADAR-AD | Remote Assessment of Disease and Relapse – Alzheimer’s Disease | 2019 |
| 256 | AutoCPS | Automated Synthesis of Cyber-Physical Systems: A Compositional Approach | 2019 |
| 257 | DECODER | DEveloper COmpanion for Documented and annotatEd code Reference | 2019 |
| 258 | ACEPOL | Agent-based Computational Economics for Policy Analysis | 2019 |
| 259 | SCARE | Side-Channel Aware Engineering | 2018 |
| 260 | justITSELF | Just-in-time Self-Verification of Autonomous Systems | 2019 |
| 261 | ERIC Forum | ERIC Forum Implementation project | 2019 |
| 262 | SYMELS | Symbol Elimination in Reliable System Engineering | 2019 |
| 263 | POLKA | POLlution Know-how and Abatement | 2019 |
| 264 | HighPotOx | Exploring the Limits of High Potential OxidizersPrediction, Validation and Preparation of Unusual Molecules at the Edge of Stability | 2020 |
| 265 | Urban MAESTRO | URBAN DESIGN GOVERNANCE - Exploring formal and informal means of improving spatial quality in cities across Europe and beyond | 2018 |
| 266 | SPARTA | Strategic programs for advanced research and technology in Europe | 2019 |
| 267 | Mi-DOG | The “parasitism-readers” of the world’s most damaging plant-parasitic nematode Meloidogyne incognita: new avenues to address food global security. | 2020 |
| 268 | INTEGRITY | INTEGRITY: empowering students through evidence-based, scaffolded learning of Responsible Conduct in Research (RCR) | 2019 |
| 269 | StringyGeometry | Stringy geometry: quantum corrections and the fate of string compactifications from spacetime and the worldsheet | 2020 |
| 270 | GEARING ROLES | Gender Equality Actions in Research Institutions to traNsform Gender ROLES | 2019 |
| 271 | LawWithoutMercy | Law without Mercy: Japanese Courts-Martial and Military Courts During the Asia-Pacific War, 1937-45 | 2019 |
| 272 | MOVINGRAIL | MOving block and VIrtual coupling New Generations of RAIL signalling | 2018 |
| 273 | LINSEC | The Logic of Informal Security Cooperation: Counterterrorism Intelligence-sharing in Europe | 2020 |
| 274 | CReDItIs | Critique and Reformation of Doctrine in International Investment Law: Legal Theory and Empirical Legal Studies | 2020 |
| 275 | D-FINED | Duality for Finite Models: Relating Structure and Power | 2020 |
| 276 | Finite Memory | Finite Memory and Dynamic Decision Problems | 2020 |
| 277 | SemioMaths | Towards a theory of mathematical signs based on the automatic treatment of mathematical corpora | 2019 |
| 278 | TEAMS | Modelling Trust-based Evolutionary Dynamics in Signed Social Networks | 2020 |
| 279 | X-SUGRA | eXceptional Solutions and U-folds in quantum GRAvity | 2020 |
| 280 | GUARD | A cybersecurity framework to GUArantee Reliability and trust for Digital service chains | 2019 |
| 281 | STARCloud | Bringing Quality of Service to Blockchain-Based Clouds | 2019 |
| 282 | TiPES | Tipping Points in the Earth System | 2019 |
| 283 | WhiteMech | White-Box Self-Programming Mechanisms | 2019 |
| 284 | Robust | Robust and Energy-Efficient Numerical Solvers Towards Reliable and Sustainable Scientific Computations | 2019 |
| 285 | PEMB | The Political Economy of Media Bias | 2019 |
| 286 | gradar | Job Evaluation made easy for European SMEs. Unique innovative solution to perform digital job evaluation, compensation analytics and management in an easy, transparent and cost-effective way. | 2019 |
| 287 | PUNISH | Punishment as Communication: Transgressors’ Interpretation and Understanding of Punishment | 2019 |
| 288 | ToMComputations | How other minds are represented in the human brain: Neural computations underlying Theory of Mind | 2019 |
| 289 | iTrust | In-time TReatment of acUte ischaemic STroke | 2019 |
| 290 | ADOPT GRANDPARENTS | Creating value by bridging the Intergenerational Gap | 2019 |
| 291 | CUSTOMER | Customizable Embedded Real-Time Systems: Challenges and Key Techniques | 2019 |
| 292 | SEAS | Science education for action and engagement towards sustainability | 2019 |
| 293 | PHERECLOS | Partnerships for pathways to Higher Education and science engagement in Regional Clusters of Open Schooling | 2019 |
| 294 | HEARTBIT_4.0 | HeartBIT_4.0 - Application of innovative Medical Data Science technologies for heart diseases. | 2020 |
| 295 | MERCURYREFINEMENT | Refining our view on planet Mercury, in anticipation for the BepiColombo mission. | 2020 |
| 296 | KnowGraphs | Knowledge Graphs at Scale | 2019 |
| 297 | CANCERPREV | Innovative strategies for cancer prevention with focus on sex hormone signaling and chronic inflammation | 2019 |
| 298 | InnovEOX | Training of a new generation of researchers in Innovative Electrochemical OXidation processes for the removal and analysis of micro-pollutants in water streams | 2019 |
| 299 | INTUITIVE | INnovative Network for Training in ToUch InteracTIVE Interfaces | 2019 |
| 300 | SyNET | From Network Verification to Synthesis: Breaking New Ground in Network Automation | 2019 |
| 301 | LINGUINDIC | Linguistics from India: new ideas for modern linguistics from ancient India | 2020 |
| 302 | CodeSan | Code Sanitization for Vulnerability Pruning and Exploitation Mitigation | 2020 |
| 303 | ADMORPH | Towards Adaptively Morphing Embedded Systems | 2020 |
| 304 | ETHNA System | Ethics Governance System for RRI in Higher Education, Funding and Research Centres | 2020 |
| 305 | Dezyne Enterprise | The easiest way to build complete, correct and consistent embedded software for cyberphysical systems | 2019 |
| 306 | DISSECT | DISSECT: Evidence in International Human Rights Adjudication | 2020 |
| 307 | PLASTINET | Plasticity of the Pluripotency Network | 2020 |
| 308 | 4SECURAIL | FORMAL METHODS AND CSIRT FOR THE RAILWAY SECTOR | 2019 |
| 309 | SMIC | Formal Models of Social Meaning and Identity Construction through Language | 2020 |
| 310 | QSPainRelief | Effective combinational treatment of chronic pain in individual patients, by an innovative quantitative systems pharmacology pain relief approach. | 2020 |
| 311 | ForM-SMArt | Formal Methods for Stochastic Models: Algorithms and Applications | 2020 |
| 312 | LEAFHOUND | Leader-follower hybrid control and task planning for multi-agent systems under spatiotemporal logic specifications | 2020 |
| 313 | DiSSCo Prepare | Distributed System of Scientific Collections - Preparatory Phase Project | 2020 |
| 314 | BLaSt | Better Languages for Statistics: foundations for non-parametric probabilistic programming | 2020 |
| 315 | SUFISM | Contemporary Sufi spirituality of the middle classes - global forms and regional peculiarities | 2021 |
| 316 | SemanDiff | Semantically correct automatic differentiation | 2020 |
| 317 | PropRT | Property-Based Modulable Timing Analysis and Optimization for Complex Cyber-Physical Real-Time Systems | 2020 |
| 318 | HaloCat | Elemental Halogen-Free Reversible Construction and Deconstruction of 1,2-Dihalides via Shuttle Catalysis | 2020 |
| 319 | PROCESS REASONING | Reasoning about processes: a logico-philosophical investigation | 2021 |
| 320 | DeFacto | Design Automation for Smart Factories | 2020 |
| 321 | INSANE | Joint Species And Niche Evolution | 2020 |
| 322 | GeMeTIC | Gestural Meanings: Typology and Interface Constraints | 2020 |
| 323 | YouthInMuseums | Educational provision and professional training for youth in contemporary art museums | 2020 |