Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil >

30 novembre 2017: 2 événements

Séminaire

  • Séminaire Logique et Interactions

    Jeudi 30 novembre 11:00-12:30 - Olivier LAURENT - LIP, ÉNS Lyon

    Une promenade entre logiques linéaires classiques et intuitionnistes

    Résumé : On s’intéresse à différentes manières de relier la logique linéaire classique (LL) et sa version intuitionniste (ILL). Les principaux ingrédients sont l’étude de non-non traductions de LL dans ILL, et les résultats de conservativité de LL sur ILL. En analysant le cas particulier d’une non-non traduction bien choisie de LL dans TL (la logique tensorielle, fragment "positif" de ILL), on montre que l’on peut re-prouver la propriété de focalisation de LL. Cette preuve établit un lien entre les caractéristiques "au plus une formule à droite" des systèmes intuitionnistes et "au plus une formule positive active" des systèmes focalisés.
    Ces différents résultats ont été formalisés en Coq à l’aide de la bibliothèque Yalla. Nous présenterons brièvement cette bibliothèque, ses spécificités et la manière de l’utiliser.

    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

En savoir plus : Séminaire Logique et Interactions

  • Séminaire Singularités

    Jeudi 30 novembre 14:00-15:00 - Laurentiu PAUNESCU - Université de Sydney

    Séminaire Singularités (TBA)

    Résumé : TBA

    JPEG - 12.3 ko
    Laurentiu PAUNESCU

    Lieu : FRUMAM - Aix-Marseille Université - Site St Charles
    3, place Victor Hugo - case 39
    13331 MARSEILLE Cedex 03

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

    En savoir plus : Séminaire Singularités

  • 30 novembre 2017: 1 événement

    groupe de travail

    • Agenda ERC IChaos

      Du 10 novembre au 2 décembre - Alexander Bufetov

      Scientific collaboration with Andrey Dymov

      Résumé : to continue the work on the infinite dimensional stochastic differential equations

      Lieu : Stecklov Math. Institute - Moscow

      Exporter cet événement

    En savoir plus : Agenda ERC IChaos