Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil >

27 septembre 2018: 1 événement

Séminaire

  • Séminaire Logique et Interactions

    Jeudi 27 septembre 11:00-12:30 - Jules CHOUQUET - IRIF, Paris 7

    Une application de l’élimination parallèle des coupures en logique linéaire multiplicative sans unités au développement de Taylor des réseaux de preuves

    Résumé : TBA

    JPEG - 7.8 ko
    Jules CHOUQUET

    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