Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil >

5 avril 2018: 3 événements

Séminaire

  • Séminaire Logique et Interactions

    Jeudi 5 avril 11:00-12:30 - Amina DOUMANE - LIP, ÉNS Lyon

    Completeness for identity-free Kleene lattices

    Résumé : We provide a finite set of axioms for identity-free Kleene lattices, which we prove sound and complete for the equational theory of their relational models. This equational theory was previously proved to coincide with that of language models and to be ExpSpace- complete ; expressions of the corresponding syntax moreover make it possible to denote precisely those languages of graphs that can be accepted by Petri automata. Finite axiomatisability was missing to obtain the same picture as for Kleene algebra, regular expressions, and (word) automata.
    Our proof builds on the completeness theorem for Kleene algebra, and on a novel automata construction that makes it possible to extract axiomatic proofs using a Kleene-like algorithm.

    JPEG - 21.8 ko
    Amina DOUMANE

    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

  • Groupe de Travail Stratification arc-wise analytic

    Jeudi 5 avril 13:30-15:00 - David TROTMAN - I2M, Aix-Marseille Université

    Application à la conjecture de Whitney

En savoir plus : Groupe de Travail Stratification arc-wise analytic

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

    Jeudi 5 avril 14:00-15:00 - Olivier RAMARÉ - I2M, CNRS, Marseille

    Structures de formes bilinéaires pour les fonctions multiplicatives

    Résumé : TBA

    JPEG - 9.9 ko
    Olivier RAMARÉ

    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 : Groupe de Travail Théorie Analytique, Probabiliste et Automatique des Suites (TAPAS)