Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil >

27 novembre 2014: 4 événements

Séminaire

  • Séminaire Logique et Interactions

    Jeudi 27 novembre 2014 11:00-12:00 - Thomas Seiller - IHÉS, Bures-sur-Yvette

    Des invariants de cohomologie pour la complexité ?

    Résumé : J’exposerai des résultats récents à l’intersection entre mes travaux sur les graphes d’interaction et ceux concernant la complexité.
    Mon travail sur les graphes d’interaction m’a mené à une construction systématique de modèles de la logique linéaire basée sur la notion de « graphage » — des réalisations de graphes par des fonctions mesurables. Intuitivement, un graphage est un graphe dont les sommets sont des ensembles mesurables et les arêtes sont « réalisées » par des fonctions mesurables. Ces modèles sont caractérisés par un monoide de fonctions (mesurables) qui décrit les différents manières de réaliser une arête.
    Je montrerai que le choix de ce monoide correspond à imposer des contraintes de complexité. Cette correspondance est illustrée par l’obtention de modèles de MALL avec des exponentielles (très) faibles où le type des prédicats sur les entiers binaires !Nat_2 ⊸ Bool caractérise des classes de complexité telles que les languages réguliers, L (logspace), NL, Ptime.
    Ces résultats permettent d’envisager l’utilisation d’invariants de cohomologie pour étudier les classes de complexité.

    JPEG - 30.9 ko
    Thomas SEILLER

    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 Arithmétique et Théorie de l’Information (ATI)

    Jeudi 27 novembre 2014 11:00-12:00 - Stéphane Louboutin - I2M, Marseille

    Deux applications du Lemme de Stechkin

    Résumé : 1. aux zéros de Siegel des fonctions zêta, et
    2. aux minorations des fonctions $L$ au point $1$.

    JPEG - 11.4 ko
    Stéphane LOUBOUTIN

    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)

  • Groupe de Travail Guide d’ondes, milieux stratifiés et problèmes inverses (GOMS)

    Du 27 novembre 2014 14:00 au 28 novembre 2014 16:30 -

    Problèmes inverses et domaines associés (GdT GOMS)

    Résumé : Mini workshop
    -
    Il y aura 9 exposés donnés par :
    - Mourad BELLASSOUED (Universite de Bizerte, Tunisie)
    - Mourad CHOULLI (Universite de Lorraine, Metz)
    - Eric BONNETIER (Universite Joseph Fourier, Grenoble)
    - Jimmy GARNIER (Universite de Savoie, Chambery)
    - Hiroshi ISOZAKI (Universite de Tsukuba, Japon)
    - David DOS SANTOS FERREIRA (Universite de Lorraine, Nancy)
    - Morgan MORANCEY (Universite d’Aix-Marseille, I2M)
    - Arnaud MUNCH (Universite Blaise Pascal, Clermont-Ferrand)
    - Masahiro YAMAMOTO (Universite de Tokyo, Japon)
    -
    Organisateurs :
    - Michel Cristofol (I2M, Marseille)
    - Eric Soccorsi (CPT, Marseille)

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

    Notes de dernières minutes : Programme téléchargeable à l’adresse : http://www.i2m.univ-amu.fr/~cristo/Michel_Cristofol/programmeGOMS1114.pdf

    ou ici :
    PDF - 170.8 ko
    Programme GOMS (11/2014)

    Exporter cet événement
    Document(s) associé(s) :

    En savoir plus : Groupe de Travail Guide d’ondes, milieux stratifiés et problèmes inverses (GOMS)

  • Séminaire Singularités

    Jeudi 27 novembre 2014 14:15-15:15 - Georges Comte - LAMA, Chambéry

    Densité des points rationnels en géométrie définissable.

    Résumé : Autour d’un travail récent en commun avec R. Cluckers et F.
    Loeser établissant une version p-adique
    du théorème de Pila & Wilkie dans le cadre non-archimédien, je décrirai
    les différents résultats obtenus par divers
    auteurs sur la densité des points rationnels de hauteur bornée dans la
    partie transcendante des ensembles définissables
    dans une structure donnée.

    Exporter cet événement
    Document(s) associé(s) :

    En savoir plus : Séminaire Singularités

27 novembre 2014: 1 événement

groupe de travail