International audience; Choreography automata are a model of choreographies envisaging high-level views of the behaviour of communicating systems as finite-state automata. The behaviour of each participant of a choreography can be obtained via a projection operation fro...

Dialogue systems are widely used in AI to support timely and interactive communication with users. We propose a general-purpose dialogue system architecture that leverages computational argumentation to perform reasoning and provide consistent and explainable answers. W...

In the quest to find life on other planets, specific extreme terrestrial environments are studied as analogues to present or past conditions on other bodies of our Solar System and beyond. These terrestrial extreme environments often harbour microbial life of high diver...

Two years after the General Data Protection Regulation (GDPR) went into effect, data anonymization remains one of the main issues linked to fragmen-tation in the Member States’ anonymization policies, in which regard stakehold-ers would like additional guidelines. In ke...

In the last decades, several types of civil society actors have mobilized against corruption all over the world, at the transnational, national, and local level. The chapter discusses these anticorruption efforts in order to understand their main features, challenges, a...

High-level programming models aim at exploiting hardware parallelism and reducing software development costs. However, their adoption on ultra-low-power multi-core microcontroller (MCU) platforms requires minimizing the overheads of work-sharing constructs on fine-grain...

International audience; We study the logic obtained by endowing the language of first-order arithmetic with second-order measure quantifiers. This new kind of quantification allows us to express that the argument formula is true in a certain portion of all possible inte...

Corruption is a global problem that affects millions of people, and activists all over the world mobilize against it. When they do so, they increasingly employ various types of digi­tal media. First, the chapter discusses two leading roles that digital media might have ...

AbstractSession types are widely used as abstractions of asynchronous message passing systems. Refinement for such abstractions is crucial as it allows improvements of a given component without compromising its compatibility with the rest of the system. In the context o...

This paper explores recipes for ink making preserved in three Syriac alchemical manuscripts. First, I shall provide an analytical description of the scanty material transmitted in two codices kept at the British Library (Egerton 709 and Oriental 1593); then, particular ...