Agenda

La vérification formelle appliquée aux protocoles cryptographiques

Territorialité à l'épreuve : reconnaissance étatique d'une géographie humanisée en Australie

Le premier voyage des frères en Égypte (Genèse 42). La deuxième descente des frères en Égypte et la découverte de l'identité de Joseph

La circulation des personnes dans l'Égypte des VII^e et VIII^e siècles : l'apport d'une documentation multilingue

Mariage et maisonnée d’après les documents bactriens, sogdiens et chorasmiens, III^e-VIII^e s. (7)

Raisonnement, attention, mémoire

Homogénéisation stochastique des équations de Hamilton-Jacobi non convexes : un contre-exemple

Deep Learning and Reasoning, Memory-Augmented Networks

La trace et l'aura, une histoire de mémoire et d'oubli

Front Propagation in the Fisher-KPP Equation: Recent Progress

Réception critique et enseignement de la littérature africaine en France

Bases génétiques

À propos des études dites postcoloniales

Seuils de la modernité : archéologie et usages d'une scansion problématique

Auto-immunité et mort cellulaire programmée : la FAScination et le paradigme somatique

Biotechnologies pour l'énergie : des microbes et des hydrocarbures

Hyperbolicité non-uniforme pour les perturbations multidimensionnelles des polynômes quadratiques (3)

Regards croisés sur la cécité et la restauration visuelle. Médecine individualisée et essais cliniques

L’arabe face au grec (6) : l’impact de l’arabisation sur le grec

Global Bioenergies : des carbohydrates aux hydrocarbures

Hyperbolicité non-uniforme pour les perturbations multidimensionnelles des polynômes quadratiques (4)

À propos des synesthésies

Du point de vue de la non-vue

Les usages de la terre. Cosmopolitiques de la territorialité (7)

Les inventions d'inconnu : Rimbaud face à Baudelaire (2)

Vers une automatisation sûre et expressive : combiner preuves automatiques et interactives

Conclusion et réponse aux questions de l'année

De l'impératif aux connivences territoriales des humains et des presque humains