Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil >

13 septembre 2018: 3 événements

Séminaire

  • Agenda ERC IChaos

    Du 11 août au 14 septembre - A.BUFETOV

    Scientific collaboration

    Résumé : 1) with Alexey KLIMENKO and Andrey DYMOV at the Steklov Institute of Moscow
    2) with Pavel NIKITIN and Sergey BEREZIN at the Steklov Institute of St.Petersburg

    Lieu : Moscow & St-Petersburg - Russia

    Exporter cet événement

En savoir plus : Agenda ERC IChaos

  • Groupe de Travail Théorie Analytique, Probabiliste et Automatique des Suites (TAPAS)

    Jeudi 13 septembre 10:45-11:45 - À confirmer

    Groupe de Travail Théorie Analytique, Probabiliste et Automatique des Suites (TAPAS)

    Lieu : Luminy, TPR2, salle 304-306

    Exporter cet événement

    En savoir plus : Groupe de Travail Théorie Analytique, Probabiliste et Automatique des Suites (TAPAS)

  • Séminaire Logique et Interactions

    Jeudi 13 septembre 11:00-12:30 - Lê Thành Dũng NGUYỄN - LIPN, Paris 13

    Évaluation sémantique en logique linéaire élémentaire

    Résumé : Après avoir passé en revue l’utilisation des techniques d’évaluation sémantique pour caractériser des classes de complexité en lambda-calcul simplement typé (en particulier les travaux de Hillebrand et Kanellakis), nous décrirons un nouveau résultat s’appliquant à une logique du second ordre : les langages décidés par des programmes en logique linéaire élémentaire (ELL) opérant sur des chaînes de Church et de type de sortie !!Bool sont exactement les langages rationnels. (En ajoutant des types récursifs, on obtient tout le temps polynomial, ce qu’a montré Baillot.) La preuve repose principalement sur l’existence d’une sémantique finie de la logique linéaire multiplicative du second ordre, obtenue par quotient observationnel. Ce premier résultat pourrait ouvrir la voie à une étude fine de la complexité dans les logiques allégées, tenant compte du contrôle exercé conjointement par les propriétés géométriques de la syntaxe et le typage, ce dernier étant reflété dans la sémantique. Ainsi, nous formulerons une caractérisation conjecturale de l’espace logarithmique dans ELL.
    Travail réalisé avec Thomas Seiller.

    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

  • 13 septembre 2018: 1 événement

    Manifestation scientifique