Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil >

16 mars 2017: 4 événements

Séminaire

  • Agenda ERC IChaos

    Du 1er février au 31 mai - Stage à l'I2M (ERC IChaos) dans le cadre de sa thèse - Bourse HSE Moscou

    Dmitry ZUBOV

    Résumé : Les mesures finiment additives sur les foliations invariantes de diffeomorphismes hyperboliques"

    Lieu : Institut de Mathématiques - Marseille

    Exporter cet événement

En savoir plus : Agenda ERC IChaos

  • Séminaire Mathématiques et Algorithmique pour la Biologie des Systèmes (MABioS)

    Du 6 mars 14:00 au 26 avril 15:00 - Loredana Martignetti - Institut Curie

    Pediatric cancer subtype characterization through network and multi-omics data analysis

    Résumé : tba

    Lieu : Amphithéâtre Herbrand, I2M-Sud, campus de Luminy

    Exporter cet événement

    En savoir plus : Séminaire Mathématiques et Algorithmique pour la Biologie des Systèmes (MABioS)

  • Séminaire Logique et Interactions

    Jeudi 16 mars 11:00-12:00 - Domenico RUOPPOLO - LIPN, Paris 13

    Relational graph models and observational theories

    Résumé : On présente les modèles de graphes relationnels (rgm), une sous-classe des modèles relationnels du lambda-calcul pur (les objects réflexifs dans la catégorie cartésienne fermée MRel engendrée par la sémantique relationnelle de LL). Les rgm sont une version relationnelle à la fois des modèles de graphes et des modèles filtres.
    Nous nous servons des rgm pour obtenir la full abstraction (adéquation complète) par rapport à deux différentes théories observationnelles : celle qui considère les formes normales de tête comme termes observables (connu sous le nom de théorie H) et celle qui prend les formes beta-normales comme observables (théories de Morris). Non seulement nous trouvons des modèles fully abstract, mais nous donnons une solution exhaustive au problème, en caractérisant tout rgm ayant la théorie H ou la théorie de Morris. Les deux théories sont caractérisées par deux notions duales, données en termes de types intersection non-idempotents.
    (joint work with Flavien Breuvart, Giulio Manzonetto and Andrew Polonsky)

    JPEG - 6.9 ko
    Domenico RUOPPOLO

    Lieu : Salle des séminaires 304-306 (3ème étage) - Institut de Mathématiques de Marseille (UMR 7373)
    Site Sud
    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

  • Séminaire Analyse et Géométrie

    Jeudi 16 mars 14:00-15:00 - Evgueni ABAKOUMOV - LAMA, Marne-la-Vallée

    Sur le pseudo-prolongement des séries entières aléatoires

    Résumé : TBA

    Lieu : CMI, salle de séminaire R164

    Exporter cet événement

    En savoir plus : Séminaire Analyse et Géométrie

  • 16 mars 2017: 3 événements

    groupe de travail

    • Agenda ERC IChaos

      Du 13 mars au 13 mai - Collaboration scientifique avec les membres de l'ERC IChaos

      Roman ROMANOV - St. Petersburg State University

      Lieu : Institut de Mathématiques - Marseille

      Exporter cet événement

    En savoir plus : Agenda ERC IChaos

  • Groupe de Travail Maths Bio

    Jeudi 16 mars 14:00-15:30 - Remi TESSON - I2M, Marseille

    Groupe de Travail Math-Cancer (TBA)

    Résumé : TBA

    Lieu : Salle de seminaire CMI

    Exporter cet événement

    En savoir plus : Groupe de Travail Maths Bio

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

    Jeudi 16 mars 14:00-15:00 - À décider

    Nombre de diviseurs de n^2+1 (d’après Hooley)

    Lieu : Luminy, TPR2, 304-306

    Exporter cet événement

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

  • 16 mars 2017: 1 événement

    • Actions pédagogiques et culturelles

      Jeudi 16 mars 20:00-22:00 -

      Spectacle musical mathématique du Piday

      Résumé : Lien

      Lieu : Le Silo - Marseille

      Exporter cet événement

    En savoir plus : Actions pédagogiques et culturelles