Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil >

7 juin 2018: 2 événements

Séminaire

  • Séminaire Arithmétique et Théorie de l’Information (ATI)

    Jeudi 7 juin 11:00-12:00 - David KOHEL - Institut de Mathématiques de Marseille

    Arithmétique statistique des groupes de Galois

    Résumé :

    PDF - 107.3 ko
    Abstract

    -
    -
    JPEG - 8.7 ko
    David KOHEL

    Lieu : Amphithéâtre Herbrand 130-134 (1er é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 Arithmétique et Théorie de l’Information (ATI)

  • Séminaire Logique et Interactions

    Jeudi 7 juin 11:00-12:30 - Pierre VIAL - IRIF, Paris 7

    Representing permutations without permutations, or the expressive power of sequence types

    Résumé : An intersection type system with given features (strict or not, idempotent or not, relevant or not, rigid or not...) characterizing, e.g., a notion of normalization can be presented in various ways. Recent works by Asada, Ong and Tsukada have championed a rigid description of resources. Whereas in non-rigid paradigms (e.g., standard Taylor expansion or non-idempotent intersection types), bags of resources are multisets and invariant under permutation, in the rigid ones, permutations must be processed explicitly and can be allowed or disallowed. Rigidity enables a fine-grained control of reduction paths and their effects on, e.g., typing derivations. We previously introduced system S, featuring a sequential intersection : a sequence is a family of types indexed by a set of integers. However, one may wonder in what extent the absence of permutations causes a loss of expressivity w.r.t. reduction paths, compared to a usual multiset framework or a rigid one with permutations. Our main contribution is to prove that not only every non-idempotent derivation can be represented by a rigid, permutation-free derivation, but also that any dynamic behavior may be captured in this way. In other words, we prove that system S (sequential intersection) has full expressive power over multiset/ permutation-inclusive intersection. We do so in the most general setting, i.e. by considering coinductive type grammars, so that this work also applies in the study of the infinitary relational model.

    JPEG - 17 ko
    Pierre VIAL

    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

7 juin 2018: 1 événement

groupe de travail

  • Agenda ERC IChaos

    Du 3 au 14 juin - Alexander BUFETOV

    Scientific collaboration with Alexey KLIMENKO

    Résumé : to continue work on joint paper on convergence of spherical averages for Fuchsian groups actions.

    Lieu : Steklov Mathematical Institute - Moscow

    Exporter cet événement

En savoir plus : Agenda ERC IChaos

7 juin 2018: 1 événement

  • Agenda des instances I2M

    Jeudi 7 juin 14:00-15:30 -

    Commission Informatique

    Résumé : Ordre du jour :
    -
    1) Date prochaine commission (debut septembre, SCH)
    -
    2) Renouvellement commission :

    • appel à candidats ?

    3) Demandes machines utilisateurs :
    • C. Mauduit : besoin d’ultra-moblité : Macbook 12" au lieu de Macbook Air
    • B. Ghattas et P. Pudlo : besoin de puissance de calcul (pour AA et ALEA)
      • accès à serveurs de calcul (DOSI, mesocentre, PLM), rédaction d’un HOWTO (Pierre)
      • achat serveur (I2M) ?
      • configurations de référence à booster ?

    4) Infrastructure Nord et Sud :
    • système de sauvegarde :
      • évaluation qté d’espace nécessaire (> 10 To)
      • évaluation coût : interne vs DOSI
    • acquisition copieurs (Pierre)
    • Bibliothèque (réunion avec le SCD, EZ-proxy, Koha) (Olivier)
    • Wifi (Olivier)
    • Gestion frumam
    • serveur labo

    -
    5) Cellule info :
    • recrutements, formations, stagiaires

    6) Questions diverses
    -
    -
    -

    Lieu : FRUMAM - 2ème étage - Aix-Marseille Université - Site St Charles
    3, place Victor Hugo - case 39
    13331 MARSEILLE Cedex 03

    Exporter cet événement

En savoir plus : Agenda des instances I2M