Events

Logics for reasoning about programs

Formal semantics for JavaScript : the challenges of scaling up

Biblical figures in the Koran (5)

Assimilation/integration : Anglo-Saxon models

HJB, MFG and others (continued) (8)

Notes on first eigenvalues and eigenfunctions

Thermodynamics of Open Chemical Reaction Networks: Theory and applications

Reaction-diffusion problems : from front dynamics to genealogies (1)

The beginnings of the period

Pattern formation in reaction-diffusion systems

Le calame et la pierre. Essai d'histoire critique de la littérature égyptienne antique (continuation and conclusion) (2)

The oldest book in the world (continued) (2)

Galaxies with z = 6 to 12

The frontier fields of HST

The Motoori Norinaga era

The rowboat and the skiff

Reading texts related to the course topic (2)

" If the hand would obey me "

Introduction : time as the main dimension of the Gilgamesh epic

Du feu style. Poetics of the postscript in the last Chateaubriand

A world without vaccines ?

" Vita nova " from Dante to Roland Barthes (1)

An AIDS vaccine : dream or (soon) reality ?

Abstract art : static analysis through abstract interpretation

Coq separation logic : theory and practice

Biblical figures in the Koran (6)

Unequal lives

HJB, MFG and others (continued) (9)

Optimal transport and planning problem in a stochastic framework in finite state space

Recovery and reminders