Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil > Séminaires > Séminaires et Groupes de travail hebdomadaires > Logique et Interactions

Séminaire Logique et Interactions

par Lozingot Eric, Vaux Lionel - publié le , mis à jour le

Agenda

Séminaire

  • Jeudi 23 novembre 11:00-12:30 - Michael PUSCHNIGG - I2M, Aix-Marseille Université

    Toute algèbre à division sur les réels est de dimension 1, 2, 4 ou 8

    Résumé : TBA

    JPEG - 9.5 ko
    Michael PUSCHNIGG

    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

  • 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

  • Jeudi 21 décembre 11:00-12:30 - Pierre PRADIC - LIP, ENS Lyon

    Séminaire Logique et Interactions (TBA)

    Résumé : TBA

    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

  • Jeudi 15 février 2018 11:00-12:30 - Giulio MANZONETTO - LIPN, Paris 13

    Séminaire Logique et Interactions (TBA)

    Résumé : TBA

    JPEG - 5.9 ko
    Giulio MANZONETTO

    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

groupe de travail

Manifestation scientifique

Descriptif
Nature Séminaire et Groupe de travail
Intitulé Logique et interactions
Responsable Lionel Vaux
Équipe de rattachement Logique de la Programmation (LDP) du Groupe Arithmétique Géométrie Logique et Représentations (AGLR, ex-LUM)
Fréquence 1 à 2 séances par mois
Jour-Horaire Jeudi. 11h-12h30
Lieu Luminy, salle des séminaires 304-306 (accès)
Lien http://iml.univ-mrs.fr/ldp/seminaire/

Contact : lionel.vaux_AT_univ-amu.fr