Opendata, web and dolomites
H2020 projects about "formalised"
The page lists 12 projects related to the topic "formalised".
| # | |||
|---|---|---|---|
| 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 |