Évènements
Rechercher un événement
06
Jan
geowalks2014: IHP trimester on random walks and asymptotic geometry of groups
(...)
Introductory school in Luminy Organization : Indira Chatterji (MAPMO, Orléans), Christophe Pittet (I2M, Marseille), Laurent Saloff-Coste (Cornell University, USA) The aim of this two-weeks school [...]
16
Jan
Conseil de laboratoire : Comités de sélection, calendrier d'élection du conseil de laboratoire + divers
(...)
Conseil de Laboratoire provisoire Ordre du jour : - comités de sélection - calendrier d'élection du conseil de laboratoire - questions diverses Compte-rendu
Semantical analysis of λ-calculus by (Differential) Linear Logic
Alberto Carraro (Università Ca' Foscari, Venise)
We present some results about the relational semantics of λ-calculus. The standard relational semantics satisfies the so-called Taylor expansion formula and this forces all models [...]
Sur les séries d'harmoniques convergeant vers zéro presque partout
Evgeny Abakumov (Laboratoire d’Analyse et Mathématiques Appliquées (LAMA), Marne-la-Vallée)
On series of harmonics converging to zero almost everywhere
