Octobre 2017


Retour à la vue des calendrier
Vendredi 13 Octobre
Heure: 11:00 - 12:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Smooth models of Differential Linear Logic
Description: Marie Kerjean Differential Linear Logic was constructed following a study of discrete vectorial models of Linear Logic. We want to extend the semantics of Linear Logic in the natural domain of continuous objects and analysis. From the basic fact that Seely's formulas is the direct interpretation of the Kernel Theorem for distributions, we explain two developments :

On one hand we axiomatize a Smooth Differential Linear Logic with a graded syntax where to each solvable Linear partial differential equation one associate an exponential. We construct a model of nuclear Fréchet/ Df spaces for this syntax.

On the other hand, we argue that the interpretation of the $parr$ as Schwartz's epsilon product should be the cornestone of the construction of a smooth classical model of DiLL. From a first-model of $k$-reflexive spaces, and based on pioneering works by Kriegl, Michor and Meise, we construct a variety of (at least two) new models of DiLL. This part is joint work with Y. Dabrowski.
Vendredi 20 Octobre
Heure: 11:00 - 12:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Inlining après l'élimination de fermeture pour OCaml
Description: Pierre Chambart Usuellement, dans les langages de haut niveau, l'inlining est fait sur
un langage intermédiaire proche d'un lambda calcul, où celà revient
pour les cas simple à de la beta-réduction. Pour diverses raisons,
dans OCaml, nous avons décidé d'introduire un autre langage
intermédiaire où les fermetures sont explicite (flambda) sur lequel
les optimisations haut niveau sont effectuées. Nous discuterons des
avantages et complexités qui viennent avec ce choix.
Mardi 24 Octobre
Heure: 14:00 - 17:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Bijections for Weyl Chamber walks ending on an axis, and arc diagrams
Description: Mathias Lepoutre
Heure: 15:30 - 18:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: False Beliefs in mathematics
Description: thé combinatoire