Despite the wide use of property graphs as a flexible data model for numerous applications and use cases, the current graph processing systems lack foundations for well-defined semantics of the underlying graph query languages and mapping specifications. These are however the principal building blocks of modern graph processing and graph data integration systems. The project VeriGraph is thus motivated by two main observations. First, there is currently a shift from relational to Graph Databases that still suffer from the lack of a formal semantics. Second, graph databases need to be both queried and also transformed in a meaningful and reliable way. The project will address these issues by making decisive contributions at the interface of Graph Databases and Programming Language Theory, by (1) enriching graph databases with formal semantic information; (2) verifying and informing the design of the next generation of graph query languages; (3) defining graph transformation and schema mapping languages with a formal semantics to permit fully automated verification of enforcement of consistency constraints. The project will have a considerable impact on the design and specification of a new standard for a graph query language pursued by the International Organization for Standardization together with the key graph database vendors. The project will in addition significantly advance our understanding of property graph transformations for data integration and data curation.

The PATRIMONDI project explores how the dynamics of the heritagization interferes with tourism motilities and global circulation (of people, ideas, capital. The analysis is underpinned by the assumption of a new regime of heritagization characterized by a co-production of heritage by tourism in the context of globalization. The project aims at going beyond the classical analysis of the continuous enlargement of the heritage field, in order to define and analyze the contemporary and new ways of heritage production. The neologism of patrimondialisalion (worldheritagization) , by his assonance between heritage(patrimoine) and globalization (mondialisation),proposes a critical reexamination of the historical interference between heritage and national construction in favor of the globalization trough heritage. The project innovates by addressing together, and in their mutual co-construction the dynamics of globalization heritage and tourism which are traditionally conceptualized by The aim is to deconstruct the traditional positions between heritage and tourism on the one hand; heritage and globalization on the other hand, too often reduced to an opposition territorialisation-singularity versus deterritorialisation-homogenization, and to move the issue to the construction of a global heritage. Such an approach based on heritage and tourist concepts, notions, norms and practices that circulate (and sometimes hybridize) in a global scale, relativizes the usual heritage conceptions North-South. The proposed methodology is comparative. The selection of 5 emblematic sites of globalization of heritage and through heritage [3 sites inscribed on the list of World heritage of UNESCO (Angkor, Old Quebec, Marrakech), 1exemple inscribed on the list of intangible World heritage of UNESCO (Tango), a national heritage produced by internationalization (the international concessions of Tianjin, in China)] aims at exploring the complex relationship between the different scales (including local, national and global) that both produce heritage and is produced by heritage. These 5 examples will be analyzed according to a cross-in order to identify the 'nodes', the ‘gateways' or the 'limits’ of how they fit in the context of globalization. While anchoring in the contemporaneity, the proposed approach will also address the dynamic constitution of globalization ('worlding" according to Cochrane and Passmore, 2001) of heritage assets, in the past (analysis of the heritage ‘Genealogy' the through a geohistorical approach) and in the future (prospective approach). The generalization of fieldwork research (carried out following a qualitative methodology: interviews observation written sources, archives) done on the 5 selected heritage examples will be facilitated by the quantitative analysis of all the 1007 sites (in 2014) of the world heritage of UNÉSCO via the social networks (analysis of several thousands of photographs and comments posted by tourists and visitors).This analysis aims at capturing the circulation of representations and practices of heritage visions. In a context where tourism becomes a "common phenomenon' according to Lussault ( 2007),and where heritage i s structured as global network ( a 'heritagescape’ according to DiGiovine, 2009) - also through tourism practices and representations the parallel analysis of heritage and tourism in and by globalization represents a major political, geopolitical, economic identity and cultural issues which need to be explored at both the local and the global scales. This is the aim of this project whose implications are both theoretical (exploration and analysis of the concept of patrimondialisation (worldheritagization) and operational (management of heritage properties which are more an ore globalized and globalizing).

The MOBILISE project asks: When there is discontent, why do some people protest while others cross borders? Connecting theoretical expectations from the migration and protest literatures, we examine: a) whether similar factors drive the choice to migrate and/or protest at the individual level; b) how context affects this mobilisation; c) whether these choices are independent of each other or mutually reinforcing/ undermining. MOBILISE employs a multi-method (nationally representative face-to-face panel surveys, online migrant surveys, protest participant surveys, focus groups, life-history interviews, social media analysis) and a multi-sited research design. It covers Ukraine, Poland, Morocco and Brazil, which have recently witnessed large-scale emigration and protests. It follows migrants from these countries to Germany, the UK and Spain. The project offers four key innovations: 1)it combines protest and migration; 2)it captures all the relevant groups for a comparative study (protesters, migrants, migrant protesters and people who have not engaged in migration or protest); 3)it tracks individuals over time by employing a panel survey; 4)it includes the use of social media data providing real time information on the role of networks and political remittances. These features allow the project to make a major contribution to theory development in both migration and protest studies and offer key insights to policy makers on factors influencing political and economic stability.

Algorithms that operate in a state of uncertainty occupy a central place within the design and analysis of algorithms. While traditional approaches are based on analysis under complete lack of information, algorithms with predictions seek to leverage some inherently inaccurate information in regards to the missing parts of the input. Here, the objective is to design algorithms that are robust to prediction errors, and at the same time perform well if the prediction is relatively accurate. Previous work under this very recent framework has focused, almost exclusively, on: predictions that are single-type, deterministic, and often provided by very powerful oracles; techniques that are based predominantly on worst-case competitive analysis; and online problems, in which the input is revealed as a sequence of items. In this project, we will substantially strengthen and expand the foundations of the nascent, and fast-growing area of algorithms with predictions, by addressing all aspects of algorithm development: modeling, design, framework of theoretical analysis, and performance evaluation. Specifically, we put forward three main objectives. The first is the advancement of new models that better capture the structure and semantics of algorithms with predictions, but are also amenable to theoretical analysis. This will help us bridge the large gap between some fundamentally different models, as well as study algorithms in more realistic, yet largely understudied settings such as distributional and multiple predictions. Our second objective is to pursue new analysis techniques, that better reflect the power and limitations of algorithms with predictions. This will allow us to obtain a more nuanced evaluation beyond ``worst-case'' considerations, provide a better understanding of the impact of the prediction error on the performance of the algorithms, and leverage unexplored techniques based on continuous optimization. Our third objective is to introduce and exploit the concepts of predictions in settings that go beyond online computation, namely in distributed computation and parallelism, in streaming and approximation (offline) algorithms, as well as in algorithmic aspects of search games. This will help us apply mathematical tools and expertise to fields in which predictions can be beneficial, but where very little previous work (or none at all) has addressed such connections. Our end objective is to capture, and efficiently analyze, realistic settings that often occur in practical domains, in the context of well-known problems and applications.

For a quantum-safe future, classical security systems as well as quantum protocols that guarantee security against all adversaries must be deployed. Here, we will study and implement one of the most promising quantum applications, namely unforgeable quantum money. A money scheme enables a secure transaction between a client, a vendor and a bank via the use of a credit card or via the use of banknotes, with maximal security guarantees. Our objectives are to perform a theoretical analysis of quantum money schemes, in realistic conditions and for encodings in both discrete and continuous variables, and to demonstrate experimentally these protocols using state-of-the-art quantum memories and integrated detection devices. The technologies we will develop are also useful for future quantum network applications. Our multidisciplinary experience, the recent breakthroughs in quantum technologies, and our comprehensive methodology are a guarantee to the successful completion of the project.