The importance of European cultural heritage has been generally acknowledged. A significant part of this heritage, however, modern and contemporary art, runs a great risk of getting lost for future generations, because it is particularly difficult to preserve. Proper care requires resolving fundamental questions concerning the identity and authenticity of modern and contemporary artworks and the consequences for their conservation, rethinking historically grown professional distinctions as those between the curator and the conservator, re-organizing the institutional ecosystem, and establishing frameworks for international, interdisciplinary and intersectoral research and training collaboration. The aim of this Marie Curie Innovative Training Network is to educate a new generation of professional curators, conservators and academic researchers who are properly equipped to face these challenges. The key notion guiding the research and training programmes will be the notion of reflective practice. Starting from the theoretical framework of practice theory, the research programme will investigate conservation practices through the comparative analysis of their impact on modern and contemporary artworks’ biographies. The training programme will focus on the development of a reflective professional attitude, which is a pre-requisite in this increasingly complex and collaborative field.

Chemoinformatics is a major discipline in theoretical chemistry, using artificial intelligence and data sciences to tackle the current social and innovation challenges. Chemoinformatics concerns the development, creation, organization, storage, dissemination, analysis, visualization and use of chemical information. As a Chemistry discipline, it is rooted into experimental skills, on which are based the essential expertise for data acquisition, processing and modelling, to solve chemical problems and innovate in chemistry with the help of chemoinformatics techniques.The ChEMoinformaticsplus project describes an EMJM about Chemoinformatics, proposed by a consortium of eight academic sites: the University of Strasbourg (France), the University of Paris (France), the University NOVA of Lisbon (Portugal), the University of Milan (Italy), the University of Ljubljana (Slovenia), the University of Bar Ilan (Israel) and the Taras Shevchenko National University of Kiyv (Ukraine). The project federates an existing network of double diplomas in Chemoinformatics into a joint master program. Through this proposal, the consortium aims at increasing the number of students in this international program while improving scientific excellence and employability of the graduates. The consortium expects also, from the support of the European Commission, a gain of recognition and visibility for the scientific community in Chemoinformatics. Finally, this will give us the opportunity to restructure the network, enhance specialization of the different partners and increase our capacity to answer to future innovation challenges.

Cultural heritage is a sociocultural discursive construction, embedded in power relationships, which tends towards the selective preservation of historical memory and the support of a particular reading of History. However, History is multivocal and to achieve egalitarian societies where identity diversity is respected, it is necessary to deconstruct the hegemonic historical discourse including different narratives from the perspective of otherness. REWIND proposes to study how historical discourses around European Cultural Heritage (ECH) have been constructed using travel literature written by Latin American women authors from the early 20th century. As such, non-European women, committed to feminist movements and who claimed miscegenation, become historical agents and cultural mediators that counteract a Eurocentric and patriarchal historical discourse. Thus, it is not about adding women’s testimony, but about rereading historical narratives about heritage in order to protect and transfer a cultural legacy that reflects the memories and subjectivities of a diverse society. REWIND is based on Foucault’s theories of “discursive formations”, since it analyses the elements of the ECH that authors highlight in their travels and descriptions from both the physical and the emotional point of view. Firstly, using Digital Humanities approaches based on Geographic Information Systems, the project will identify and locate ECH items. Secondly, REWIND will apply sentiment analysis techniques to recognise the impressions that ECH provokes in women travellers. And, finally, the information offered by travel guides and official documentation of cultural institutions will be contrasted with the data of travel literature applying semantic technologies and the decolonial gender theory. So, through this innovative methodology, REWIND will give voice to a silenced testimony, recovering part of the collective memory and offering new ways of interacting with the past in the present.

The IBERIAN PATRONAGES project will be focused on the development of an in-depth study of the impact that the creation of the Sacred Congregation ‘De Propaganda Fide’ has had on the regime of the Iberian Patronages. Guided by this goal, this innovative research will decisively contribute to the strengthening of Europe in R&I delivering important contributions to the comprehension of four crucial issues that integrate the investigation: the intimate and structural relationship between religious dimension and the dynamics of domination, control and assimilation of local populations; the resistances and transformations imposed by these populations in response to the directions emitted from Europe; the jurisdictional nature of the policies formulated by the Iberian Monarchies to defend their royal patronages; and the key role played by religion in the configuration of colonial societies. The research will be anchored in the work developed in historical archives and libraries in Portugal, Spain and Italy, in a permanent exchange of ideas with the supervisor and the host institution (CHAM - Centre for the Humanities), and in an advanced training program designed to enable the researcher to expand her academic networking, provide her insertion in a highly qualified scientific circuit and promote the acquisition and improvement of core competencies and skills for a successful international career plan. A secondment in the Max Planck Institute for Legal History and Legal Theory will improve the scientific knowledge of this research plan. The strong commitment to the Open Science Practices associated with a scientific dissemination plan and plural communication activities were designed to ensure that the research will be able to reach different audiences: the scientific community, the undergraduate and graduate students, teachers and students of the basic education system and the general public.

Deductive software verification, a subject within the broader field of formal methods, proposes a very ambitious path: to turn the correctness of a computer program into a mathematical statement, and then prove it. This project aims to develop a deductive verification framework, with a clear focus on proof automation, that directly tackles the verification of OCaml-written programs. OCaml seems to be particularly good target for verification. On one hand, it is the language of choice for the implementation of sensible software such as proof assistants, automated solvers, and compilers. On the other hand, OCaml is a multi-paradigm language, supporting both the functional and imperative paradigm, one can write clean, concise, type-safe, and efficient code. Yet, a verification tool that can handle hand-written code and is mostly automated does not currently exist. OCaml programmers must chose between proof automation, with the price of learning and programming in a verification-aware language, and then perform code extraction, or tools that require manual proof assistance. The Cameleer project aims to remedy this situation by providing the tools and principles for the verification of OCaml programs. The main outcome of this project is a powerful, usable, and mostly automated verification framework for the OCaml-written code. This will be a major step towards making verification more accessible to OCaml programmers, even in case they are not verification experts. The Cameleer framework will feature a translation of OCaml programs annotated with specifications written in GOSPEL, a recently proposed specification language, to different intermediate verification languages, namely WhyML, Viper, and Coq. This coexistence of multiple intermediate verification infrastructures allows the devised framework to target the verification of a large subset of OCaml programs, while combining the strengths of each individual intermediate language to obtain better verification results.