Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil >

20 décembre 2018: 3 événements

Séminaire

  • Agenda ERC IChaos

    Du 7 au 24 décembre - Alexander BUFETOV

    Scientific collaboration with Alexey KLIMENKO

    Résumé : joint work on convergence of spherical averages for various classes of groups.

    Lieu : Steklov Mathematical Institute - Moscow

    Exporter cet événement

En savoir plus : Agenda ERC IChaos

  • Agenda ERC IChaos

    Du 20 au 23 décembre - Alexander BUFETOV

    Scientific collaboration with Alexey KLIMENKO

    Résumé : To continue joint work on convergence of spherical averages for various classes of groups.

    Lieu : Steklov Mathematical Institute - Moscow

    Exporter cet événement

    En savoir plus : Agenda ERC IChaos

  • Séminaire Logique et Interactions

    Jeudi 20 décembre 11:00-12:30 - Pierre VIAL - IRIF, Paris 7

    Non idempotent typing, upper bounds and exact length in the lambda and in the lambda-mu-calculus

    Résumé : Non-idempotent intersection type theory, introduced independently by Gardner [94], Kfoury [96] and de Carvalho [07] arguably give the simplest to prove characterizations of semantical properties such as normalization (for various notions) or certifications of reduction strategies. Moreover, non-idempotent typing provides quantitative information on terms e.g. give upper bounds for the length of certain normalizing sequences. In this talk, I will present joint work with Delia Kesner :
    -
    * The extension of non-idempotent type theory to the lambda-mu-calculus, which is a computational interpretation of classical natural deduction. For this, we introduce non-idempotent union types. Typing then also gives upper bounds for the length of some normalizing sequences. This work was presented at FSCD17
    -
    * Accattoli, Kesner and Lengrand [ICFP2018] have recently built on Bernadet-Lengrand work and obtained exact bounds for various strategies (head, leftmost-outermost, maximal) using non-idempotent types. I will explain how to refine this work and to statically obtain the length of some strategies in the lambda-mu-calculus.
    -
    The talk will begin with a (hopefully) gentle introduction to non-idempotent typing and the simply typed lambda-calculus.

    JPEG - 17 ko
    Pierre VIAL

    Lieu : Salle des séminaires 304-306 (3ème étage) - Institut de Mathématiques de Marseille (UMR 7373)
    Site Sud - Bâtiment TPR2
    Campus de Luminy, Case 907
    13288 MARSEILLE Cedex 9

    Exporter cet événement
    Document(s) associé(s) :

    En savoir plus : Séminaire Logique et Interactions

  • 20 décembre 2018: 1 événement

    Manifestation scientifique

    • Agenda ERC IChaos

      Du 7 au 20 décembre - Alexander BUFETOV

      Conference "Dynamics in Valparaiso"

      Résumé : Dynamics in Valparaiso : celebrating 10 years of the Dinamica Portena seminar

      Lieu : Facultad de Matematicas - Pontificia Universidad Catolica de Chile

      Exporter cet événement

    En savoir plus : Agenda ERC IChaos