Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil >

7 décembre 2017: 2 événements

Séminaire

  • Séminaire Logique et Interactions

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

    A realizability notion for MSO over ω

    Résumé : Church’s synthesis problem asks whether there exists a finite-state stream transducer satisfying a given input-output specification. For specifications written in Monadic Second-Order Logic over infinite words, Church’s synthesis can theoretically be solved algorithmically using automata and games, at the price of a non-elementary complexity. We revisit Church’s synthesis via the Curry-Howard correspondence by introducing SMSO, a non-classical subsystem of MSO, which is shown to be sound and complete w.r.t. synthesis thanks to a realizability model inspired by Colin’s fibration of automatas over infinite trees. Extracting stream transducers from SMSO proofs is still non-elementary from an algorithmic point of view due to the rule of bounded comprehension.
    Joint work with Colin Riba.

    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 7 décembre 14:00-14:30 - Jean-Baptiste CAMPESATO - I2M, Marseille

    Séminaire Singularités (TBA)

    Résumé : TBA

    JPEG - 22.7 ko
    Jean-Baptiste CAMPESATO

    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

  • 7 décembre 2017: 2 événements

    groupe de travail

    • Groupe de travail EDP hyperboliques, conditions limites et méthodes numériques (Hyperbo)

      Jeudi 7 décembre 10:30-12:00 - Kseniya IVANOVA - IUSTI, Marseille

      Soutenance de thèse de Kseniya Ivanova

      Résumé : Mathematical model of multi-dimensional shear shallow water flows : problems and solutions
      -

      Lieu : IUSTI Chateau Gombert

      Exporter cet événement

    En savoir plus : Groupe de travail EDP hyperboliques, conditions limites et méthodes numériques (Hyperbo)

  • Groupe de Travail Maths Bio

    Jeudi 7 décembre 14:00-15:00 - Serge VAN DE PAVERT - CIML, Marseille

    When, where & what ; intricate interactions in embryonic immune organ development

    Résumé : TBA

    JPEG - 6.8 ko
    Serge VAN DE PAVERT

    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 : Groupe de Travail Maths Bio

  • 7 décembre 2017: 1 événement

    Manifestation scientifique