Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil >

22 février 2018: 3 événements

Séminaire

  • Agenda ERC IChaos

    Du 15 au 26 février - Alexander BUFETOV

    Seminars & scientific collaboration in Australia

    Résumé : 1) Talk on the Vershirk-Kerov conjecture concerning typical dimensions of representations of finite symmetric groups at Sydney University
    2) School of Mathematics & Statistics at Melbourne

    Lieu : Sydney & Melbourne - Australie

    Exporter cet événement

En savoir plus : Agenda ERC IChaos

  • Séminaire Logique et Interactions

    Jeudi 22 février 11:00-12:30 - Assia MAHBOUBI - LS2N, Nantes & INRIA

    Une preuve assistée par ordinateur de l’irrationalité de zeta(3)

    Résumé : L’étude des valeurs de la fonction zeta de Riemann aux entiers impairs est encore aujourd’hui un sujet de recherche actif en théorie des nombres. R. Apéry a obtenu en 1978 un succès spectaculaire en établissant l’irrationalité de zeta(3). Mais le statut, rationnel ou irrationnel des autres entiers positifs impairs est encore inconnu à ce jour. Le point crucial de la présentation originale d’Apéry réside dans l’observation que deux suites particulières sont solutions d’une même récurrence, remarque qui permet d’estimer leurs comportements asymptotiques respectifs. Cette récurrence miraculeuse était difficile à deviner, mais elle s’est aussi révélé difficile à vérifier pour l’auditoire d’Apéry. Depuis les années 90, des chercheurs en combinatoire et en calcul formel ont conçu des algorithmes efficaces qui permettent de "deviner" de telles récurrences, et ainsi de faire des preuves "par calcul formel". Dans cet exposé nous présentons et discutons une preuve formelle de l’irrationalité de zeta(3) basée sur une session de calcul formel qui exécute de tels algorithmes.
    (en collaboration avec Frédéric Chyzak, Thomas Sibut-Pinote et Enrico Tassi)

    JPEG - 12.8 ko
    Assia MAHBOUBI

    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

  • Séminaire Singularités

    Jeudi 22 février 14:00-15:00 - Bernard TEISSIER - Institut de Mathématiques de Jussieu, Paris

    Valuations sur les anneaux noethériens équicaractéristiques

    Résumé : Je montrerai comment une approche de la théorie des valuations s’appuyant sur la géométrie torique permet, au moins dans le cas des anneaux locaux complets, de déterminer leur structure avec assez de précision pour décrire un processus d’approximation des valuations compliquées par des valuations simples (dites « quasi-monomiales ») et de prouver un théorème d’uniformisation pour ces dernières.

    JPEG - 9.1 ko
    Bernard TEISSIER

    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

  • 22 février 2018: 1 événement

    groupe de travail

    22 février 2018: 2 événements

    Manifestation scientifique

    • Manifestations scientifiques (colloques, écoles,...)

      Du 19 au 23 février - MOIS THÉMATIQUE

      Géométrie des groupes et géométrie des 3-variétés : situation et perspectives

      Résumé : MOIS THÉMATIQUE
      -
      Geometry of Groups and 3-manifolds : State of the Art and Perspectives
      -
      The object of this week is to bring together specialists in the domains of Riemannian geometry, low-dimensional topology and geometric group theory to take stock of current interactions and encourage new exchanges in this area of rapid progress.
      -
      L’objet de cette semaine sera de réunir des spécialistes de géométrie riemannienne, topologie de basse dimension et géométrie des groupes afin de faire le point sur leurs interactions et de stimuler de nouvelles passerelles entre ces thèmes très porteurs.
      -
      4ème semaine. Fourth week.
      -
      Organisateurs :
      - Brian Bowditch (University of Warwick)
      - Peter Haïssinsky (Aix-Marseille Université)
      - Jérôme Los (CNRS, I2M Marseille)
      - Hamish Short (Aix-Marseille Université)
      -

      Site web du colloque
      JPEG - 29.3 ko

      -
      Autre lien : Mois thématique CIRM

      Lieu : CIRM - 163 avenue de Luminy
      Case 916
      13288 Marseille - Cedex 9
      France

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

      En savoir plus : Manifestations scientifiques (colloques, écoles,...)

    • Manifestations scientifiques (colloques, écoles,...)

      Jeudi 22 février 09:00-17:00 -

      Journée d’Ouverture du Colloquium Intelligence Artificielle, Machine Learning, Data Science

      Résumé : JOURNÉE,
      -
      Le colloquium Intelligence Artificielle, Machine Learning, Data Science est une initiative du Laboratoire d’Informatique et Systèmes (LIS), de l’Institut de Mathématiques de Marseille (I2M) et du Laboratoire d’Excellence Archimède, à l’Université d’Aix-Marseille. Les avancées dans ces domaines de recherche, qui sont le fruit des travaux de chercheurs en informatique et en mathématiques sont aujourd’hui au coeur des préoccupations d’acteurs institutionnels, industriels, sociaux et académiques. C’est dans ce contexte que s’inscrit notre initiative, qui a pour objectif d’organiser des points de rencontre sur les thématiques IA/DS/ML.
      -
      Programme :
      - 09h00 – 09h15 L. Ralaivola & P. Pudlo, ouverture de la journée
      - 09h20 – 10h15 V. Ventos, LRI, INRIA TAO. « Le bridge, nouveau défi de l’intelligence artificielle ? »
      - 10h20 – 10h45 Pause
      - 10h50 – 11h45 J.-J. Schneider, La Provence Innovation. « La Provence, un acteur de la Presse Quotidienne Régionale dans le monde de l’IA »
      - 13h45 – 14h40 S. Gelly, Google. « Deep Generative Models »
      - 14h45 – 15h40 J. Mary, Criteo. « Fighting boredom in advertising through linear reinforcement learning »
      - 15h45 – 16h40 T. Peel, Euranova. « Machine Learning à l’ère du RGPD »
      - 16h45 – 17h00 L. Ralaivola & P. Pudlo, clôture de la journée
      -
      Organisateurs :
      - Liva RALAIVOLA (LIS, Marseille)
      - Pierre PUDLO (I2M, ALEA-STA, Marseille)
      -
      -

      Site web de la Journée
      JPEG - 23.7 ko

      Autres liens :
      - Site Saint-Charles Université d’Aix-Marseille
      - ACCES au Grand Amphi (bâtiment n°2, en orange, sur le plan)

      Lieu : Grand Amphithéâtre - 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 : Manifestations scientifiques (colloques, écoles,...)