Opendata, web and dolomites
H2020 projects about "formalization"
The page lists 8 projects related to the topic "formalization".
| # | |||
|---|---|---|---|
| 1 | CoqHoTT | Coq for Homotopy Type Theory | 2015 |
| 2 | ProLeMAS | ProLeMAS: PROcessing LEgal language in normative Multi-Agent Systems | 2015 |
| 3 | SEO-DWARF | Semantic EO Data Web Alert and Retrieval Framework | 2016 |
| 4 | SIZE | The role of size in the sustainability of irrigation systems | 2019 |
| 5 | SOCSEMICS | Socio-Semantic Bubbles of Internet Communities | 2018 |
| 6 | MYlandOURland | How Institutions Shape Culture: Survey and Experimental Evidence from a Large-Scale Land Tenure Reform Implemented as a Randomized Control Trial | 2019 |
| 7 | JOLT | Harnessing Data and Technology for Journalism | 2018 |
| 8 | OASIS | Open Access Single entry point for scale-up of Innovative Smart lightweight composite materials and components | 2019 |