Opendata, web and dolomites

H2020 projects about "formalised"

The page lists 12 projects related to the topic "formalised".

# achronym  title  year 
1 PARTISPACE Spaces and Styles of Participation. Formal, non-formal and informal possibilities of young people’s participation in European cities. 2015
2 SEDEUF Sedicii Innovative Authentication 2014
3 SMARTAgriFor Collaboration to develop a business plan for the Centre of Agriculture and Forestry 2015
4 HYP The Hatha Yoga Project: Mapping Indian and Transnational Traditions of Physical Yoga through Philology and Ethnography 2015
5 COGTOM Cognitive tomography of mental representations 2017
6 ALEXANDRIA Large-Scale Formal Proof for the Working Mathematician 2017
7 INSIDER Improved Nuclear SIte characterization for waste minimization in DD operations under constrained EnviRonment 2017
8 PICASSO Project on Integrated Assessment model-based Scenarios for Sustainable development Objectives 2019
9 RICAIP Research and Innovation Centre on Advanced Industrial Production 2019
10 LEVEL-UP Protocols and Strategies for extending the useful Life of major capital investments and Large Industrial Equipment 2019
11 ARiAT Advanced Reasoning in Arithmetic Theories 2020
12 LITCOM Literary Activism in sub-Saharan Africa: Commons, Publics and Networks of Practice 2020