Opendata, web and dolomites

H2020 projects about "formalization"

The page lists 8 projects related to the topic "formalization".

# achronym  title  year 
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