Évènements
Rechercher un événement
04
May
From stellar systems equilibria to collisionless statistics
(...)
I present the methods originally employed in [1] to derive statistical properties of light distribution in galaxies, before discussing their application in other physical systems. [...]
04
May
TBA
Yohann Lebouazda (CPT)
TBA Le séminaire des doctorant⋅es de l'I2M et du CPT à Luminy regroupe chaque semaine les doctorant⋅es du site autour d'un exposé plus ou [...]
04
May
04
May
Quantitative inhabitation for different lambda calculi in a unifying framework
Victor Arrial (IRIF)
We study the inhabitation problem for a language called 𝜆!, a subsuming paradigm (inspired by call-by-push-value) being able to encode Call-by-Name and Call-by-Value strategies of [...]
04
May
Spectre marqué des longueurs des surfaces Anosov
(...)
Sur une surface riemannienne fermée, le spectre marqué des longueurs est la donnée, pour chaque classe d'homotopie libre de la surface, de la plus courte [...]
