Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil >

2 février 2017: 4 événements

Séminaire

  • Agenda ERC IChaos

    Du 22 janvier au 4 février - Participation at the thematic quarter - IHP Paris

    Pierre LAZAG

    Lieu : Institut Henri Poincaré - 11, Rue Pierre et Marie Curie,
    75005 Paris

    Exporter cet événement

En savoir plus : Agenda ERC IChaos

  • 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 Logique et Interactions

    Jeudi 2 février 11:00-12:00 - Claudia FAGGIAN - IRIF, Paris 7

    The geometry of parallelism : probabilistic and quantum effects

    Résumé : What become the notions of confluence and convergence when a parallel rewrite system has both a probabilistic choice and the possibility of non-termination ? We present a notion of Probabilistic Abstract Rewrite System (PARS) which deals with this issue by recovering a form of “diamond property”.
    This result (the focus of the talk) is of interest in its own, but it is also key to introduce a Geometry of Interaction model for higher-order computation which has the ability to model commutative effects in a parallel setting, and to capture in particular quantum and probabilistic effects. The model (also sketched in the talk) comes with a multi-token machine, a proof net system, and a PCF-style language, which are all instances of PARS with a diamond property.
    Being based on a rewrite system equipped with a memory, our model has a concrete nature which makes it well suited for building low-level operational descriptions of higher-order languages. A success of our approach is to give (essentially for free) an adequate model for a fully-fledged quantum programming language in which entanglement, duplication, and recursion are all available.
    (Joint work with Ugo Dal Lago, Benoit Valiron, Akira Yoshimizu)
    Référence : https://arxiv.org/pdf/1610.09629v2.pdf

    JPEG - 13.7 ko
    Claudia FAGGIAN

    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

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

    Jeudi 2 février 14:00-15:00 - Gautier HANNA - I2M

    Critère de Kátai et orthogonalité avec Möbius

    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)

  • 2 février 2017: 1 événement

    groupe de travail

    2 février 2017: 1 événement

    • Agenda des instances I2M

      Jeudi 2 février 14:00-16:00 -

      Commission Informatique

      Résumé : -
      Ordre du jour  :
      -
      1) Lieu et date prochaine commission (mi-avril, FRUMAM ou LUM).
      2) Fonctionnement cellule info (en particulier : recrutements ; stagiaires R&T, AFPA, Polytech).
      3) Point sur les problèmes techniques actuels (en particulier : taux de disponibilité serveur web).
      4) Impression (externalisation partielle ou totale de la maintenance).
      5) Procédure achats et matériel à remplacer (comparaison prix entre configs, pertinence de l’extension de garantie 5 ans, jouvence).
      6) Questions diverses.
      -
      -

      Lieu : CMI - I2M - Château-Gombert
      39 rue Frédéric Joliot-Curie
      13453 Marseille cedex 13

      Exporter cet événement

    En savoir plus : Agenda des instances I2M

    2 février 2017: 1 événement

    Manifestation scientifique