FP7H2020HORIZON
Fundacion Imdea Software
- Country
- ESSpain
- Defence projects
- 0
- Projects, all programmes
- 25
- As coordinator
- 10
- EU contribution (CORDIS)
- EUR 18,095,287
- Active
- 2009 to 2025
Projects
25 projects, newest first
| Project | Programme | Year | Role | EU contribution |
|---|---|---|---|---|
| NEATNon-linear Existential Arithmetic Theories | HORIZON | 2025 | Coordinator | EUR 181,153 |
| VALIDATEVALIDATing SEcurity Safeguards in Binaries Compiled with Memory-Safe Languages Pre-Execution | HORIZON | 2025 | Associated partner | EUR 0 |
| NIGHTMADRIDResearchers and citizen creating together a better future | HORIZON | 2024 | Participant | EUR 5,800 |
| CONFIDENTIAL6GConfidential Computing and Privacy-preserving Technologies for 6G | HORIZON | 2023 | Participant | EUR 365,015 |
| CRETECertified Refinement Types | HORIZON | 2022 | Coordinator | EUR 1,500,000 |
| MADRIDNIGHTResearchers and citizens: facing together the European challenges | HORIZON | 2022 | Participant | EUR 5,400 |
| PICOCRYPTCryptography for Privacy and Integrity of Computation on Untrusted Machines | H2020 | 2021 | Coordinator | EUR 1,999,873 |
| OPENQKDOpen European Quantum Key Distribution Testbed | H2020 | 2019 | Participant | EUR 161,000 |
| ACCORDAccelerated Ordering Service for Distributed Ledgers | H2020 | 2019 | Coordinator | EUR 172,932 |
| MathadorType and Proof Structures for Concurrent Software Verification | H2020 | 2017 | Coordinator | EUR 1,999,895 |
| ELASTESTElasTest: an elastic platform for testing complex distributed large software systems | H2020 | 2017 | Participant | EUR 288,875 |
| RACCOONA Rigorous Approach to Consistency in Cloud Databases | H2020 | 2017 | Coordinator | EUR 1,498,312 |
| NEXTLEAPNEXTLEAP | H2020 | 2016 | Participant | EUR 148,701 |
| I3HI3H - EIT ICT Labs Incubating Internet Innovation Hubs | FP7 | 2014 | Participant | EUR 151,565 |
| VeriStabFormal Verification of Stability of Embedded Control Systems | H2020 | 2014 | Coordinator | EUR 100,000 |
| FI-CoreFuture Internet - Core | FP7 | 2014 | Participant | EUR 201,132 |
| ADVENTArchitecture-driven verification of systems software | FP7 | 2013 | Coordinator | EUR 311,520 |
| POLCAProgramming Large Scale Heterogeneous Infrastructures | FP7 | 2013 | Participant | EUR 200,199 |
| AMAROUT-IIAMAROUT-II EUROPE | FP7 | 2012 | Coordinator | EUR 4,181,950 |
| ENTRAWhole-Systems Energy Transparency | FP7 | 2012 | Participant | EUR 485,609 |
The country is the one the source records for the organisation’s registration (its PIC), and each profile says what it rests on. Where the record contradicts itself (the address in one country, the site name and the VAT number in another) we follow the two that agree: the Spanish research council CSIC is shown under Spain although its address is recorded in Italy. A body with sites in several countries is shown under the first of them in alphabetical order, and its profile lists the others. Beyond that we do not guess.
Where this comes from
- CORDIS: EU research projects (Horizon Europe, Horizon 2020, FP7)Last read on . Licence: Commission Decision 2011/833/EU (reuse of Commission documents). Source: CORDIS, European Commission.Participants and amounts as the Commission's CORDIS database states them (reuse under Commission Decision 2011/833/EU).
EU contribution is the amount CORDIS's open data pays to the participant. For a participant with linked third parties it may include their share (the CORDIS page prints the net); an amount the data does not hold is left out, not counted as zero. EDF factsheets state none per participant, so EDF projects count as projects but add nothing to the amounts.
Organisation-level facts only: a name, a country, a role, an amount, a year. A participant is recognised by its PIC where the source gives one, otherwise by name; the page says which. How the data is built.
Names are as CORDIS and the EDF project factsheets publish them. We do not list an organisation whose name looks like a natural person’s. If this entry is you, or a business named after you, and you want it removed, write to the contact in the imprint; the privacy notice (sections 7 and 9) says how a request is handled.