Opendata, web and dolomites
Horizon2020 projects coordinated by "FUNDACION IMDEA SOFTWARE"
| # | ||||
|---|---|---|---|---|
| 1 | RACCOON A Rigorous Approach to Consistency in Cloud Databases | 2017 | 1˙498˙312.00 | 1˙498˙312.00 |
| 2 | MATHADOR Type and Proof Structures for Concurrent Software Verification | 2017 | 1˙999˙895.00 | 1˙999˙895.00 |
| 3 | ACCORD Accelerated Ordering Service for Distributed Ledgers | 2019 | 172˙932.00 | 172˙932.00 |
More Horizon 2020 projects
The Institution FUNDACION IMDEA SOFTWARE has been involved also in the following Horizon 2020 projects.