Events

Formal verification applied to cryptographic protocols

Territoriality put to the test : state recognition of a humanized geography in Australia

The brothers' first trip to Egypt (Genesis 42). The brothers' second descent into Egypt and the discovery of Joseph's identity

The movement of people in ^7th- and ^8th-century Egypt : the contribution of multilingual documentation

Marriage and households from Bactrian, Sogdian and Chorasmian documents, ^3rd-8th c. (7)

Reasoning, attention, memory

Stochastic homogenization of non-convex Hamilton-Jacobi equations : a counterexample

Deep Learning and Reasoning, Memory-Augmented Networks

Trace and aura, a story of memory and forgetting

Front Propagation in the Fisher-KPP Equation: Recent Progress

Critical reception and lectures on African literature in France

Genetic bases

About postcolonial studies

Thresholds of modernity : archaeology and uses of a problematic scansion

Autoimmunity and programmed cell death : FAScination and the somatic paradigm

Biotechnologies for energy: microbes and hydrocarbons

Non-uniform hyperbolicity for multidimensional perturbations of quadratic polynomials (3)

Perspectives on blindness and visual restoration. Individualized medicine and clinical trials

Arabic versus Greek (6) : the impact of Arabization on Greek

Global Bioenergies : from carbohydrates to hydrocarbons

Non-uniform hyperbolicity for multidimensional perturbations of quadratic polynomials (4)

About synesthesia

From the point of view of the unseen

The uses of land. Cosmopolitics of territoriality (7)

The inventions of the unknown : Rimbaud and Baudelaire (2)

Towards safe and expressive automation : combining automatic and interactive proofs

Conclusion and answers to the year's questions

From the imperative to the territorial connivances of humans and near-humans